src/video/cocoa_v.mm
changeset 6236 3b2905fddbaa
parent 6188 f069a017b05a
child 6247 7d81e3a5d803
--- a/src/video/cocoa_v.mm	Tue Mar 06 22:00:42 2007 +0000
+++ b/src/video/cocoa_v.mm	Tue Mar 06 22:01:59 2007 +0000
@@ -712,7 +712,7 @@
 		}
 
 		cur_ticks = GetTick();
-		if (cur_ticks >= next_tick || (_fast_forward && !_pause) || cur_ticks < prev_cur_ticks) {
+		if (cur_ticks >= next_tick || (_fast_forward && !_pause_game) || cur_ticks < prev_cur_ticks) {
 			next_tick = cur_ticks + 30;
 
 			_ctrl_pressed = !!(_cocoa_video_data.current_mods & NSControlKeyMask);