diff options
| -rw-r--r-- | debian/patches/progress-linux/0001-terminal-shortcut.patch | 15 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 16 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..cd519be --- /dev/null +++ b/debian/patches/progress-linux/0001-terminal-shortcut.patch @@ -0,0 +1,15 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Adding terminal emulator keyboard shortcut. + +diff -Naurp gnome-control-center.orig/panels/keyboard/01-launchers.xml.in gnome-control-center/panels/keyboard/01-launchers.xml.in +--- gnome-control-center.orig/panels/keyboard/01-launchers.xml.in ++++ gnome-control-center/panels/keyboard/01-launchers.xml.in +@@ -13,6 +13,8 @@ + + <KeyListEntry name="home" description="Home folder"/> + ++ <KeyListEntry name="terminal" description="Launch terminal"/> ++ + <KeyListEntry name="search" description="Search" msgctxt="keybinding">Search</KeyListEntry> + + </KeyListEntries> diff --git a/debian/patches/series b/debian/patches/series index fca38fc..a034710 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,3 +4,4 @@ debian/Expose-touchpad-settings-if-synaptics-is-in-use.patch debian/Debian-s-adduser-doesn-t-allow-uppercase-letters-by-defau.patch debian/Ignore-result-of-test-network-panel.patch debian/firmware-security-disable.patch +progress-linux/0001-terminal-shortcut.patch |