Pause button should be insensitive in untimed games

https://bugzilla.gnome.org/show_bug.cgi?id=701578
This commit is contained in:
Michael Catanzaro 2013-07-31 20:09:19 -05:00
parent 46c62fa1f7
commit 882e93dcd9

View file

@ -496,6 +496,7 @@ public class Application : Gtk.Application
scene.game = game;
info_bar.hide ();
save_button.sensitive = false;
pause_button.sensitive = (game.clock != null);
update_history_panel ();
update_control_buttons ();