This removes the last unmodifiable keybinding relying on GTK's
defaults, and allows somebody to change this keybinding.