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 722395 - Remove End Game menu item
Remove End Game menu item
Status: RESOLVED FIXED
Product: gnome-nibbles
Classification: Applications
Component: general
3.10.x
Other Linux
: Normal enhancement
: ---
Assigned To: gnome-nibbles-maint
gnome-nibbles-maint
Depends on:
Blocks:
 
 
Reported: 2014-01-17 07:11 UTC by Michael Catanzaro
Modified: 2014-08-19 00:44 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Remove useless End Game menu item (3.68 KB, patch)
2014-02-15 22:53 UTC, Michael Catanzaro 		committed Details | Review

Description Michael Catanzaro 2014-01-17 07:11:14 UTC 
Would be really nice to remove the End Game option: it's really unnecessary.

The only reason it is needed in 3.10 is because otherwise it's hard to get into Preferences. I'd rather we be able to change the preferences at any time, and just display a warning that changes will take effect for the next game, like other games do (either as a label in the preferences dialog, or with a popup dialog that appears when exiting preferences after changing a setting).
Comment 1 Michael Catanzaro 2014-02-15 22:53:08 UTC 
Created attachment 269237 [details] [review]
Remove useless End Game menu item

It'd be good to have a notice that changed preferences only take effect on a new game, but bug #693153 needs fixed first regardless
Comment 2 Michael Catanzaro 2014-08-19 00:44:06 UTC 
Attachment 269237 [details] pushed as a5ac408 - Remove useless End Game menu item