From 0d8bcdbdbfa3aded79245998c631f40aaecec47f Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Sat, 27 Apr 2024 16:57:01 +0200
Subject: Adding terminal emulator keyboard shortcut.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 .../progress-linux/0001-terminal-shortcut.patch    | 76 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 77 insertions(+)
 create mode 100644 debian/patches/progress-linux/0001-terminal-shortcut.patch

(limited to 'debian/patches')

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
-- 
cgit v1.2.3