1
Index: gnome-settings-daemon-3.8.5/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in.in
2
===================================================================
3
--- gnome-settings-daemon-3.8.5.orig/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in.in 2013-11-12 16:32:37.466469600 +1300
4
+++ gnome-settings-daemon-3.8.5/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in.in 2013-11-12 16:32:37.462469600 +1300
6
<_summary>Copy a screenshot of an area to clipboard</_summary>
7
<_description>Binding to copy a screenshot of an area to clipboard.</_description>
9
+ <key name="terminal" type="s">
10
+ <default>'<Primary><Alt>t'</default>
11
+ <_summary>Launch terminal</_summary>
12
+ <_description>Binding to launch the terminal.</_description>
14
<key name="www" type="s">
15
<default>'XF86WWW'</default>
16
<_summary>Launch web browser</_summary>
17
Index: gnome-settings-daemon-3.8.5/plugins/media-keys/gsd-media-keys-manager.c
18
===================================================================
19
--- gnome-settings-daemon-3.8.5.orig/plugins/media-keys/gsd-media-keys-manager.c 2013-11-12 16:32:37.466469600 +1300
20
+++ gnome-settings-daemon-3.8.5/plugins/media-keys/gsd-media-keys-manager.c 2013-11-12 16:32:37.462469600 +1300
25
+do_terminal_action (GsdMediaKeysManager *manager)
27
+ GSettings *settings;
30
+ settings = g_settings_new ("org.gnome.desktop.default-applications.terminal");
31
+ term = g_settings_get_string (settings, "exec");
34
+ execute (manager, term, FALSE);
37
+ g_object_unref (settings);
41
gnome_session_shutdown (GsdMediaKeysManager *manager)
45
case AREA_SCREENSHOT_CLIP_KEY:
46
gsd_screenshot_take (type);
49
+ do_terminal_action (manager);
52
do_url_action (manager, "http", timestamp);
54
Index: gnome-settings-daemon-3.8.5/plugins/media-keys/shortcuts-list.h
55
===================================================================
56
--- gnome-settings-daemon-3.8.5.orig/plugins/media-keys/shortcuts-list.h 2013-11-12 16:32:37.466469600 +1300
57
+++ gnome-settings-daemon-3.8.5/plugins/media-keys/shortcuts-list.h 2013-11-12 16:32:37.462469600 +1300
60
WINDOW_SCREENSHOT_CLIP_KEY,
61
AREA_SCREENSHOT_CLIP_KEY,
67
{ SCREENSHOT_CLIP_KEY, "screenshot-clip", NULL, NULL, SHELL_KEYBINDING_MODE_ALL },
68
{ WINDOW_SCREENSHOT_CLIP_KEY, "window-screenshot-clip", NULL, NULL, SHELL_KEYBINDING_MODE_NORMAL },
69
{ AREA_SCREENSHOT_CLIP_KEY, "area-screenshot-clip", NULL, NULL, SHELL_KEYBINDING_MODE_ALL },
70
+ { TERMINAL_KEY, "terminal", NULL, NULL, GSD_KEYBINDING_MODE_LAUNCHER },
71
{ WWW_KEY, "www", NULL, NULL, GSD_KEYBINDING_MODE_LAUNCHER },
72
{ PLAY_KEY, "play", NULL, NULL, SHELL_KEYBINDING_MODE_ALL },
73
{ PAUSE_KEY, "pause", NULL, NULL, SHELL_KEYBINDING_MODE_ALL },