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);