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