Game needs saving when the result is added

E.g. if you resign, the game wants to be saved to reflect that
resignation

https://bugzilla.gnome.org/show_bug.cgi?id=702157
This commit is contained in:
Michael Catanzaro 2013-06-22 19:38:34 -05:00
parent b2bec84012
commit 50243126b5

View file

@ -878,6 +878,8 @@ public class Application : Gtk.Application
undo_menu.sensitive = undo_button.sensitive = false;
claim_draw_menu.sensitive = false;
game_needs_saving = true;
if (opponent_engine != null)
opponent_engine.stop ();