On Wed, 18 Nov 2015 18:49:52 +0000 Richard Shann <[email protected]> wrote:
> I've pushed a fix that turns off tooltips on menus while leaving them on > everything else (for GTK version >=3.10). > Can you test if this makes a usable interface? It doesn't, and I fail to see why it should... (I backported the fix to 2.0.0 but I do not think that matters.) Not setting a tooltip on the individual menus makes little sense if there's still a tooltip on the menu bar itself. Moreover, everything else, all buttons, all areas on the window, still have tooltips, so there's really no difference with the unfixed version. I'm afraid disabling all tooltips for Gtk >= 3.10 is the only option. Maybe our Gnome3 friend on the list has a suggestion what mechanism should be used instead of tooltips? -- Johan _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
