diff -r 9b1552d0fd9b -r f8eb3e208514 src/video/cocoa/event.mm
--- a/src/video/cocoa/event.mm	Thu Feb 21 22:34:54 2008 +0000
+++ b/src/video/cocoa/event.mm	Fri Feb 22 00:25:54 2008 +0000
@@ -668,9 +668,13 @@
 			last_cur_ticks = cur_ticks;
 			next_tick = cur_ticks + 30;
 
+			bool old_ctrl_pressed = _ctrl_pressed;
+
 			_ctrl_pressed = !!(_current_mods & ( _patches.right_mouse_btn_emulation != RMBE_CONTROL ? NSControlKeyMask : NSCommandKeyMask));
 			_shift_pressed = !!(_current_mods & NSShiftKeyMask);
 
+			if (old_ctrl_pressed != _ctrl_pressed) HandleCtrlChanged();
+
 			GameLoop();
 
 			_screen.dst_ptr = _cocoa_subdriver->GetPixelBuffer();