diff options
Diffstat (limited to '')
-rw-r--r-- | debian/patches/progress-linux/0001-terminal-shortcut.patch | 76 |
1 files changed, 76 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 }, |