Adding terminal emulator keyboard shortcut.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
This commit is contained in:
parent
5e7519742b
commit
c5134382f9
2 changed files with 77 additions and 0 deletions
76
debian/patches/progress-linux/0001-terminal-shortcut.patch
vendored
Normal file
76
debian/patches/progress-linux/0001-terminal-shortcut.patch
vendored
Normal file
|
@ -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>
|
||||
@@ -234,6 +239,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
|
||||
@@ -2513,6 +2513,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
|
||||
@@ -44,6 +44,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 },
|
1
debian/patches/series
vendored
1
debian/patches/series
vendored
|
@ -1 +1,2 @@
|
|||
debian/01_debianize_xrdb.patch
|
||||
progress-linux/0001-terminal-shortcut.patch
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue