Will have a look there, thanks.
TBH, I don’t quite like the default shortcuts of ST3. Sure, you can change everything, but that’s annoying. For example, show console: Ctrl+`.
That’s impossible to type, as ` is a “dead key” (at least on my Swiss German keyboard layout).
Or toggle comment: Ctrl+/
Nothing happens, when I press Ctrl+Shift+7 (as Shift+7 returns /) or Ctrl+Numpad /
Oh, well…
I’ve now read https://askubuntu.com/questions/575631/how-do-i-find-all-key-bindings-in-ubuntu-14-04 and it doesn’t show anything:
$ gsettings list-recursively org.gnome.desktop.wm.keybindings | sort | grep -i alt | grep -i control
org.gnome.desktop.wm.keybindings cycle-panels-backward ['<Shift><Control><Alt>Escape']
org.gnome.desktop.wm.keybindings cycle-panels ['<Control><Alt>Escape']
org.gnome.desktop.wm.keybindings minimize ['<Control><Alt>KP_0']
org.gnome.desktop.wm.keybindings move-to-workspace-down ['<Shift><Control><Alt>Down']
org.gnome.desktop.wm.keybindings move-to-workspace-left ['<Shift><Control><Alt>Left']
org.gnome.desktop.wm.keybindings move-to-workspace-right ['<Shift><Control><Alt>Right']
org.gnome.desktop.wm.keybindings move-to-workspace-up ['<Shift><Control><Alt>Up']
org.gnome.desktop.wm.keybindings switch-panels-backward ['<Shift><Control><Alt>Tab']
org.gnome.desktop.wm.keybindings switch-panels ['<Control><Alt>Tab']
org.gnome.desktop.wm.keybindings switch-to-workspace-down ['<Control><Alt>Down']
org.gnome.desktop.wm.keybindings switch-to-workspace-left ['<Control><Alt>Left']
org.gnome.desktop.wm.keybindings switch-to-workspace-right ['<Control><Alt>Right']
org.gnome.desktop.wm.keybindings switch-to-workspace-up ['<Control><Alt>Up']
org.gnome.desktop.wm.keybindings toggle-maximized ['<Control><Alt>KP_5']
org.gnome.desktop.wm.keybindings toggle-shaded ['<Control><Alt>s']