1 files changed, 15 insertions, 0 deletions
diff --git a/src/window.cpp b/src/window.cpp
index 1ee8da60b..82b6ced25 100644
--- a/src/window.cpp
+++ b/src/window.cpp
@@ -1709,6 +1709,21 @@ void HandleKeypress(uint32 key)
 	}
 }
 
+void HandleCtrlChanged()
+{
+	WindowEvent e;
+
+	e.event = WE_CTRL_CHANGED;
+	e.we.ctrl.cont = true;
+
+	/* Call the event, start with the uppermost window. */
+	for (Window* const *wz = _last_z_window; wz != _z_windows;) {
+		Window *w = *--wz;
+		w->wndproc(w, &e);
+		if (!e.we.ctrl.cont) break;
+	}
+}
+
 extern void UpdateTileSelection();
 extern bool VpHandlePlaceSizingDrag();