--- a/src/graph_gui.cpp Tue Jan 01 22:24:18 2008 +0000
+++ b/src/graph_gui.cpp Tue Jan 01 22:34:00 2008 +0000
@@ -1102,6 +1102,8 @@
}
case WE_TICK:
+ if (_pause_game != 0) break;
+
/* Update the player score every 5 days */
if (--w->custom[0] == 0) {
w->custom[0] = DAY_TICKS;