Pause button should be insensitive after game ends

This commit is contained in:
Michael Catanzaro 2013-08-02 20:18:41 -05:00
parent c22978ab3e
commit 1d681d5c95

View file

@ -965,6 +965,7 @@ public class Application : Gtk.Application
resign_button.sensitive = false;
undo_button.sensitive = false;
claim_draw_button.sensitive = false;
pause_button.sensitive = false;
game_needs_saving = true;