|
@@ -376,6 +376,17 @@ void WindowManager::tell_wms_super_key_pressed()
|
|
|
});
|
|
|
}
|
|
|
|
|
|
+void WindowManager::tell_wms_super_space_key_pressed()
|
|
|
+{
|
|
|
+ for_each_window_manager([](WMClientConnection& conn) {
|
|
|
+ if (conn.window_id() < 0)
|
|
|
+ return IterationDecision::Continue;
|
|
|
+
|
|
|
+ conn.async_super_space_key_pressed(conn.window_id());
|
|
|
+ return IterationDecision::Continue;
|
|
|
+ });
|
|
|
+}
|
|
|
+
|
|
|
static bool window_type_has_title(WindowType type)
|
|
|
{
|
|
|
return type == WindowType::Normal || type == WindowType::ToolWindow;
|
|
@@ -1247,6 +1258,11 @@ void WindowManager::process_key_event(KeyEvent& event)
|
|
|
tell_wms_super_key_pressed();
|
|
|
return;
|
|
|
}
|
|
|
+
|
|
|
+ if (event.type() == Event::KeyDown && event.key() == Key_Space) {
|
|
|
+ tell_wms_super_space_key_pressed();
|
|
|
+ return;
|
|
|
+ }
|
|
|
}
|
|
|
|
|
|
if (MenuManager::the().current_menu() && event.key() != Key_Super) {
|