From 4b71d56253fc3c7cc2222c00524c161b1bc9ce26 Mon Sep 17 00:00:00 2001 From: Bert Peters Date: Sat, 16 Jul 2016 15:54:18 +0200 Subject: [PATCH] Remove Gnome terminal F1 help. --- gsettings.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gsettings.sh b/gsettings.sh index 779c7c6..13a4369 100755 --- a/gsettings.sh +++ b/gsettings.sh @@ -20,3 +20,6 @@ gsettings set org.gnome.settings-daemon.plugins.media-keys screensaver "' # No "Move" with +F7. Which happens to be "Find usages" in Netbeans gsettings set org.gnome.desktop.wm.keybindings begin-move "['']" + +# No F1 button in Gnome Terminal +gsettings set "org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/" help 'disabled'