src/graph_gui.cpp
changeset 8675 5ff307aa5048
parent 8636 2b158acb649c
child 8720 4e60c30e2006
--- 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;