src/video/sdl_v.cpp
changeset 9082 8217cb013e23
parent 8929 a8732ed52252
child 10247 145d0458b685
--- a/src/video/sdl_v.cpp	Sun Feb 17 12:21:05 2008 +0000
+++ b/src/video/sdl_v.cpp	Sun Feb 17 17:00:43 2008 +0000
@@ -490,6 +490,8 @@
 			last_cur_ticks = cur_ticks;
 			next_tick = cur_ticks + 30;
 
+			bool old_ctrl_pressed = _ctrl_pressed;
+
 			_ctrl_pressed  = !!(mod & KMOD_CTRL);
 			_shift_pressed = !!(mod & KMOD_SHIFT);
 
@@ -499,6 +501,9 @@
 				(keys[SDLK_UP]    ? 2 : 0) |
 				(keys[SDLK_RIGHT] ? 4 : 0) |
 				(keys[SDLK_DOWN]  ? 8 : 0);
+
+			if (old_ctrl_pressed != _ctrl_pressed) HandleCtrlChanged();
+
 			GameLoop();
 
 			_screen.dst_ptr = _sdl_screen->pixels;