Re: Gtk version getting closer

[Stefan Monnier]

>    > The problem is not with experts, but with people just learning.  
> 
>    Maybe we could have a "tree-state" customize option here:
> 
>    - always show tooltips
>      (generate a tooltip with the same text as the menu item if
>       no explicit tooltip is specified)
>    - show available tooltips
>      (the current functionality - show tooltips is available)
>    - no tooltips
>      (never show tooltips for menu items).
> 
> We definately should provide an option to turn tooltips on or off, but
> no more.

Been there: tooltips-mode


        Stefan