Don't (un)pause game after it's complete

Using the app menu could restart the timer after the game's over... not
good.
This commit is contained in:
Michael Catanzaro 2013-08-02 20:17:24 -05:00
parent d429e01e33
commit c22978ab3e

View file

@ -1228,7 +1228,7 @@ public class Application : Gtk.Application
public void set_paused_state (bool paused)
{
if (paused == is_paused)
if (paused == is_paused || game.result != ChessResult.IN_PROGRESS)
return;
is_paused = paused;