summaryrefslogtreecommitdiffstats
path: root/debian/patches
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 14:57:01 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 14:57:01 +0000
commit0d8bcdbdbfa3aded79245998c631f40aaecec47f (patch)
tree0a6888081b6a98fb59d88bec5ccfe67c8197e597 /debian/patches
parentUpdating vcs fields. (diff)
downloadgnome-settings-daemon-0d8bcdbdbfa3aded79245998c631f40aaecec47f.tar.xz
gnome-settings-daemon-0d8bcdbdbfa3aded79245998c631f40aaecec47f.zip
Adding terminal emulator keyboard shortcut.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/progress-linux/0001-terminal-shortcut.patch76
-rw-r--r--debian/patches/series1
2 files changed, 77 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>'&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>
+@@ -259,6 +264,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
+@@ -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 },
diff --git a/debian/patches/series b/debian/patches/series
index ae8f96e..e722f5a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
debian/01_debianize_xrdb.patch
debian/meson.build-Lower-polkit-requirement.patch
+progress-linux/0001-terminal-shortcut.patch