Re: Tooltips and menus

[Richard Stallman]

    There should never be a tooltip for a submenu title - no need.

    Tooltips on menus should be on by default, but you should be able to turn
    them off (without turning off tooltips everywhere).

I agree with those two suggestions.  Would someone like to implement them,
then ack?


I don't think we should delete "uninteresting" tooltips because
(1) the absence will look like a bug, and
(2) turning off tooltip display for menu items that lead to submenus
will solve most of the problem.