After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 172772 - show tips for menu items (patch)
show tips for menu items (patch)
Status: RESOLVED FIXED
Product: gnome-utils
Classification: Deprecated
Component: gdict
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-utils Maintainers
gnome-utils Maintainers
Depends on:
Blocks:
 
 
Reported: 2005-04-06 08:26 UTC by Paolo Borelli
Modified: 2005-04-06 14:32 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
patch (5.17 KB, patch)
2005-04-06 08:27 UTC, Paolo Borelli 		committed Details | Review

Description Paolo Borelli 2005-04-06 08:26:47 UTC 
Here is a trick I learned after porting gdict to ui_manager... it allows tips
for menu items to be showed in the statusbar as it happens in other gnome apps
and as it did happen in gdict before moving to ui_manager.

Also some minor "const" love.
Comment 1 Paolo Borelli 2005-04-06 08:27:20 UTC 
Created attachment 39741 [details] [review]
patch
Comment 2 Vincent Noel 2005-04-06 14:32:31 UTC 
I just committed this to HEAD. Thanks !