|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
1 |
---
|
|
4
by RabbitBot
updated to version 3.27.91-0ubuntu1 |
2 |
data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in | 5 ++ |
3 |
plugins/media-keys/gsd-media-keys-manager.c | 19 ++++++++++ |
|
4 |
plugins/media-keys/media-keys.h | 1 |
|
5 |
plugins/media-keys/shortcuts-list.h | 1 |
|
|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
6 |
4 files changed, 26 insertions(+) |
7 |
||
|
4
by RabbitBot
updated to version 3.27.91-0ubuntu1 |
8 |
--- a/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in
|
9 |
+++ b/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in
|
|
10 |
@@ -131,6 +131,11 @@
|
|
11 |
<summary>Record a short video of the screen</summary> |
|
12 |
<description>Binding to record a short video of the screen</description> |
|
|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
13 |
</key> |
14 |
+ <key name="terminal" type="s">
|
|
15 |
+ <default>'<Primary><Alt>t'</default>
|
|
|
4
by RabbitBot
updated to version 3.27.91-0ubuntu1 |
16 |
+ <summary>Launch terminal</summary>
|
17 |
+ <description>Binding to launch the terminal.</description>
|
|
|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
18 |
+ </key>
|
19 |
<key name="www" type="s"> |
|
20 |
<default>'XF86WWW'</default> |
|
|
4
by RabbitBot
updated to version 3.27.91-0ubuntu1 |
21 |
<summary>Launch web browser</summary> |
|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
22 |
--- a/plugins/media-keys/gsd-media-keys-manager.c
|
23 |
+++ b/plugins/media-keys/gsd-media-keys-manager.c
|
|
|
4
by RabbitBot
updated to version 3.27.91-0ubuntu1 |
24 |
@@ -936,6 +936,22 @@ gnome_session_shutdown_cb (GObject *sour
|
|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
25 |
} |
26 |
||
27 |
static void |
|
28 |
+do_terminal_action (GsdMediaKeysManager *manager)
|
|
29 |
+{
|
|
30 |
+ GSettings *settings;
|
|
31 |
+ char *term;
|
|
32 |
+
|
|
33 |
+ settings = g_settings_new ("org.gnome.desktop.default-applications.terminal");
|
|
34 |
+ term = g_settings_get_string (settings, "exec");
|
|
35 |
+
|
|
36 |
+ if (term)
|
|
37 |
+ execute (manager, term, FALSE);
|
|
38 |
+
|
|
39 |
+ g_free (term);
|
|
40 |
+ g_object_unref (settings);
|
|
41 |
+}
|
|
42 |
+
|
|
43 |
+static void
|
|
44 |
gnome_session_shutdown (GsdMediaKeysManager *manager) |
|
45 |
{
|
|
46 |
GDBusProxy *proxy; |
|
|
4
by RabbitBot
updated to version 3.27.91-0ubuntu1 |
47 |
@@ -2391,6 +2407,9 @@ do_action (GsdMediaKeysManager *manager,
|
|
1
by RabbitBot
Initial import, version 3.26.2-0ubuntu1 |
48 |
case SCREENCAST_KEY: |
49 |
do_screencast_action (manager); |
|
50 |
break; |
|
51 |
+ case TERMINAL_KEY:
|
|
52 |
+ do_terminal_action (manager);
|
|
53 |
+ break;
|
|
54 |
case WWW_KEY: |
|
55 |
do_url_action (manager, "http", timestamp); |
|
56 |
break; |
|
57 |
--- a/plugins/media-keys/media-keys.h
|
|
58 |
+++ b/plugins/media-keys/media-keys.h
|
|
59 |
@@ -49,6 +49,7 @@ typedef enum {
|
|
60 |
WINDOW_SCREENSHOT_CLIP_KEY, |
|
61 |
AREA_SCREENSHOT_CLIP_KEY, |
|
62 |
SCREENCAST_KEY, |
|
63 |
+ TERMINAL_KEY,
|
|
64 |
WWW_KEY, |
|
65 |
PLAY_KEY, |
|
66 |
PAUSE_KEY, |
|
67 |
--- a/plugins/media-keys/shortcuts-list.h
|
|
68 |
+++ b/plugins/media-keys/shortcuts-list.h
|
|
69 |
@@ -74,6 +74,7 @@ static struct {
|
|
70 |
{ WINDOW_SCREENSHOT_CLIP_KEY, "window-screenshot-clip", NULL, NULL, SHELL_ACTION_MODE_NORMAL },
|
|
71 |
{ AREA_SCREENSHOT_CLIP_KEY, "area-screenshot-clip", NULL, NULL, SHELL_ACTION_MODE_ALL },
|
|
72 |
{ SCREENCAST_KEY, "screencast", NULL, NULL, NO_LOCK_MODE },
|
|
73 |
+ { TERMINAL_KEY, "terminal", NULL, NULL, GSD_ACTION_MODE_LAUNCHER },
|
|
74 |
{ WWW_KEY, "www", NULL, NULL, GSD_ACTION_MODE_LAUNCHER },
|
|
75 |
{ PLAY_KEY, "play", NULL, NULL, SHELL_ACTION_MODE_ALL },
|
|
76 |
{ PAUSE_KEY, "pause", NULL, NULL, SHELL_ACTION_MODE_ALL },
|