diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:57:01 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:57:01 +0000 |
| commit | 0d8bcdbdbfa3aded79245998c631f40aaecec47f (patch) | |
| tree | 0a6888081b6a98fb59d88bec5ccfe67c8197e597 /debian/patches | |
| parent | Updating vcs fields. (diff) | |
| download | gnome-settings-daemon-0d8bcdbdbfa3aded79245998c631f40aaecec47f.tar.xz gnome-settings-daemon-0d8bcdbdbfa3aded79245998c631f40aaecec47f.zip | |
Adding terminal emulator keyboard shortcut.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/patches')
| -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..760fb46 --- /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> +@@ -259,6 +264,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 +@@ -2709,6 +2709,9 @@ do_action (GsdMediaKeysManager *manager, + case CONTROL_CENTER_KEY: + do_execute_desktop_or_desktop (manager, "gnome-control-center.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 ae8f96e..e722f5a 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ debian/01_debianize_xrdb.patch debian/meson.build-Lower-polkit-requirement.patch +progress-linux/0001-terminal-shortcut.patch |