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 408439 - Do not make items in the menu bar insensitive
Do not make items in the menu bar insensitive
Status: RESOLVED FIXED
Product: gnome-games-superseded
Classification: Deprecated
Component: gnome-sudoku
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Games maintainers
GNOME Games maintainers
Depends on:
Blocks:
 
 
Reported: 2007-02-15 23:55 UTC by Mariano Suárez-Alvarez
Modified: 2007-02-16 16:11 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
do not make menu titles insensitive (992 bytes, patch)
2007-02-15 23:56 UTC, Mariano Suárez-Alvarez 		committed Details | Review

Description Mariano Suárez-Alvarez 2007-02-15 23:55:38 UTC 
The HIG wants you to make all menu items of a menubar item insensitive, -not- make the latter insensitive.

Cf. <http://developer.gnome.org/projects/gup/hig/2.0/menus.html#menus-menubar>, Guidelines, 3rd item.
Comment 1 Mariano Suárez-Alvarez 2007-02-15 23:56:31 UTC 
Created attachment 82649 [details] [review]
do not make menu titles insensitive
Comment 2 Andreas Røsdal 2007-02-16 16:11:29 UTC 
Patch applied to SVN. I interpret this fix to not vialoate any UI freezes.