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 705221 - Hint option on application menu is always insensitive
Hint option on application menu is always insensitive
Status: RESOLVED FIXED
Product: gnome-mines
Classification: Applications
Component: general
3.8.x
Other Linux
: Normal major
: ---
Assigned To: gnome-mines-maint
gnome-mines-maint
Depends on:
Blocks:
 
 
Reported: 2013-08-01 01:29 UTC by Michael Catanzaro
Modified: 2013-10-12 01:41 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Michael Catanzaro 2013-08-01 01:29:02 UTC 
The "hint" option on the application menu is always insensitive.  It's probably tied to the sensitivity of the Hint toolbar button, which is set insensitive when the game is paused.  But the game is always paused when the app menu is open.