From 67a2df5a92b96c5e4de4724c3d44d4e153c75f25 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 19:52:40 +0200 Subject: Adding terminal emulator keyboard shortcut. Signed-off-by: Daniel Baumann --- .../progress-linux/0001-terminal-shortcut.patch | 76 ++++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 77 insertions(+) create mode 100644 debian/patches/progress-linux/0001-terminal-shortcut.patch diff --git a/debian/patches/progress-linux/0001-terminal-shortcut.patch b/debian/patches/progress-linux/0001-terminal-shortcut.patch new file mode 100644 index 0000000..ab8bbdd --- /dev/null +++ b/debian/patches/progress-linux/0001-terminal-shortcut.patch @@ -0,0 +1,76 @@ +Author: Daniel Baumann +Description: Adding terminal emulator keyboard shortcut. + +diff -Naurp gnome-settings-daemon.orig/data/gnome-settings-daemon.convert gnome-settings-daemon/data/gnome-settings-daemon.convert +--- gnome-settings-daemon.orig/data/gnome-settings-daemon.convert ++++ gnome-settings-daemon/data/gnome-settings-daemon.convert +@@ -23,6 +23,7 @@ previous = /apps/gnome_settings_daemon/k + screensaver = /apps/gnome_settings_daemon/keybindings/screensaver + search = /apps/gnome_settings_daemon/keybindings/search + stop = /apps/gnome_settings_daemon/keybindings/stop ++terminal = /apps/gnome_settings_daemon/keybindings/terminal + touchpad = /apps/gnome_settings_daemon/keybindings/touchpad + volume-down = /apps/gnome_settings_daemon/keybindings/volume_down + volume-mute = /apps/gnome_settings_daemon/keybindings/volume_mute +diff -Naurp gnome-settings-daemon.orig/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in gnome-settings-daemon/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in +--- gnome-settings-daemon.orig/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in ++++ gnome-settings-daemon/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in +@@ -76,6 +76,11 @@ + Stop playback + Binding to stop playback. + ++ ++ '<Super>t' ++ Launch terminal ++ Binding to launch the terminal. ++ + + 'XF86AudioLowerVolume' + Volume down +@@ -224,6 +229,11 @@ + Stop playback + Binding to stop playback. + ++ ++ ['<Super>t'] ++ Launch terminal ++ Binding to launch the terminal. ++ + + + +diff -Naurp gnome-settings-daemon.orig/plugins/media-keys/gsd-media-keys-manager.c gnome-settings-daemon/plugins/media-keys/gsd-media-keys-manager.c +--- gnome-settings-daemon.orig/plugins/media-keys/gsd-media-keys-manager.c ++++ gnome-settings-daemon/plugins/media-keys/gsd-media-keys-manager.c +@@ -2413,6 +2413,9 @@ do_action (GsdMediaKeysManager *manager, + case CONTROL_CENTER_KEY: + do_execute_desktop_or_desktop (manager, "org.gnome.Settings.desktop", NULL, timestamp); + break; ++ case TERMINAL_KEY: ++ do_execute_desktop_or_desktop (manager, "org.gnome.Terminal.desktop", "gnome-terminal.desktop", timestamp); ++ break; + case PLAY_KEY: + return do_multimedia_player_action (manager, "Play"); + case PAUSE_KEY: +diff -Naurp gnome-settings-daemon.orig/plugins/media-keys/media-keys.h gnome-settings-daemon/plugins/media-keys/media-keys.h +--- gnome-settings-daemon.orig/plugins/media-keys/media-keys.h ++++ gnome-settings-daemon/plugins/media-keys/media-keys.h +@@ -20,6 +20,7 @@ + #define __MEDIA_KEYS_H__ + + typedef enum { ++ TERMINAL_KEY, + TOUCHPAD_KEY, + TOUCHPAD_ON_KEY, + TOUCHPAD_OFF_KEY, +diff -Naurp gnome-settings-daemon.orig/plugins/media-keys/shortcuts-list.h gnome-settings-daemon/plugins/media-keys/shortcuts-list.h +--- gnome-settings-daemon.orig/plugins/media-keys/shortcuts-list.h ++++ gnome-settings-daemon/plugins/media-keys/shortcuts-list.h +@@ -42,6 +42,7 @@ static struct { + ShellActionMode modes; + MetaKeyBindingFlags grab_flags; + } media_keys[] = { ++ { TERMINAL_KEY, "terminal", FALSE, GSD_ACTION_MODE_LAUNCHER, META_KEY_BINDING_IGNORE_AUTOREPEAT }, + { TOUCHPAD_KEY, "touchpad-toggle", TRUE, SHELL_ACTION_MODE_ALL, META_KEY_BINDING_IGNORE_AUTOREPEAT }, + { TOUCHPAD_ON_KEY, "touchpad-on", TRUE, SHELL_ACTION_MODE_ALL, META_KEY_BINDING_IGNORE_AUTOREPEAT }, + { TOUCHPAD_OFF_KEY, "touchpad-off", TRUE, SHELL_ACTION_MODE_ALL, META_KEY_BINDING_IGNORE_AUTOREPEAT }, diff --git a/debian/patches/series b/debian/patches/series index 8bb1474..d773030 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -6,3 +6,4 @@ Update-Bulgarian-translation.patch Update-Abkhazian-translation.patch debian/01_debianize_xrdb.patch debian/meson.build-Lower-polkit-requirement.patch +progress-linux/0001-terminal-shortcut.patch -- cgit v1.2.3