diff options
Diffstat (limited to 'debian/patches/progress-linux/0001-terminal-shortcut.patch')
| -rw-r--r-- | debian/patches/progress-linux/0001-terminal-shortcut.patch | 15 |
1 files changed, 15 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> |