diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 17:52:40 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 17:52:40 +0000 |
| commit | 67a2df5a92b96c5e4de4724c3d44d4e153c75f25 (patch) | |
| tree | 3d7ed370167517dba5dc365c82e880031a398f0b | |
| parent | Updating vcs fields. (diff) | |
| download | gnome-settings-daemon-67a2df5a92b96c5e4de4724c3d44d4e153c75f25.tar.xz gnome-settings-daemon-67a2df5a92b96c5e4de4724c3d44d4e153c75f25.zip | |
Adding terminal emulator keyboard shortcut.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
| -rw-r--r-- | debian/patches/progress-linux/0001-terminal-shortcut.patch | 76 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 77 insertions, 0 deletions
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 <daniel.baumann@progress-linux.org> +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 @@ + <summary>Stop playback</summary> + <description>Binding to stop playback.</description> + </key> ++ <key name="terminal" type="s"> ++ <default>'<Super>t'</default> ++ <summary>Launch terminal</summary> ++ <description>Binding to launch the terminal.</description> ++ </key> + <key name="volume-down" type="s"> + <default>'XF86AudioLowerVolume'</default> + <summary>Volume down</summary> +@@ -224,6 +229,11 @@ + <summary>Stop playback</summary> + <description>Binding to stop playback.</description> + </key> ++ <key name="terminal" type="as"> ++ <default>['<Super>t']</default> ++ <summary>Launch terminal</summary> ++ <description>Binding to launch the terminal.</description> ++ </key> + + <!-- Change volume --> + <key name="volume-down" type="as"> +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 |