equal
deleted
inserted
replaced
666 if (cur_ticks >= next_tick || (_fast_forward && !_pause_game) || cur_ticks < prev_cur_ticks) { |
666 if (cur_ticks >= next_tick || (_fast_forward && !_pause_game) || cur_ticks < prev_cur_ticks) { |
667 _realtime_tick += cur_ticks - last_cur_ticks; |
667 _realtime_tick += cur_ticks - last_cur_ticks; |
668 last_cur_ticks = cur_ticks; |
668 last_cur_ticks = cur_ticks; |
669 next_tick = cur_ticks + 30; |
669 next_tick = cur_ticks + 30; |
670 |
670 |
|
671 bool old_ctrl_pressed = _ctrl_pressed; |
|
672 |
671 _ctrl_pressed = !!(_current_mods & ( _patches.right_mouse_btn_emulation != RMBE_CONTROL ? NSControlKeyMask : NSCommandKeyMask)); |
673 _ctrl_pressed = !!(_current_mods & ( _patches.right_mouse_btn_emulation != RMBE_CONTROL ? NSControlKeyMask : NSCommandKeyMask)); |
672 _shift_pressed = !!(_current_mods & NSShiftKeyMask); |
674 _shift_pressed = !!(_current_mods & NSShiftKeyMask); |
|
675 |
|
676 if (old_ctrl_pressed != _ctrl_pressed) HandleCtrlChanged(); |
673 |
677 |
674 GameLoop(); |
678 GameLoop(); |
675 |
679 |
676 _screen.dst_ptr = _cocoa_subdriver->GetPixelBuffer(); |
680 _screen.dst_ptr = _cocoa_subdriver->GetPixelBuffer(); |
677 UpdateWindows(); |
681 UpdateWindows(); |