summaryrefslogtreecommitdiffstats
path: root/debian/patches/progress-linux/0001-terminal-shortcut.patch
blob: ab8bbddcc74ed2f6d7c07d12d52bd0af7420990e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
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>'&lt;Super&gt;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>['&lt;Super&gt;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 },