src/window_gui.h
changeset 9082 8217cb013e23
parent 8914 6ebaa4b4eb2b
child 9233 4daa9bb8dbf7
--- a/src/window_gui.h	Sun Feb 17 12:21:05 2008 +0000
+++ b/src/window_gui.h	Sun Feb 17 17:00:43 2008 +0000
@@ -123,6 +123,7 @@
 	WE_MESSAGE,
 	WE_SCROLL,
 	WE_INVALIDATE_DATA,
+	WE_CTRL_CHANGED,
 };
 
 struct WindowEvent {
@@ -192,6 +193,10 @@
 		struct {
 			int wheel;     ///< how much was 'wheel'd'
 		} wheel;
+
+		struct {
+			bool cont;     ///< continue the search? (default true)
+		} ctrl;
 	} we;
 };