Hi,
I'd like to apply the small patchset attached tohttps://bugzilla.gnome.org/show_bug.cgi?id=595450 The fix is straightforward, it affects a new api added in this development cycle that was not tested under all conditions, preventing a crash and ugly empty tooltips when no tooltip for the GtkSourceMark is set. Ciao Paolo _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
