After the fuss about avoiding a simple key combination for recompile library, I notice that you can still mess up a live performance by quitting the server via cmd+B (very close to cmd+v for paste...). Perhaps quit should be a little more difficult?
I also checked the key redefinition list; there is no way to have separate key commands for boot and quit server. Perhaps cmd+alt+b as the default? Or perhaps a small button for boot and quit could be restored.
scide: remove ctrl-b shortcut
in most cases one can use `ctrl-shift-b` to reboot the server. not sure
if we need a shortcut for boot-or-quit
Signed-off-by: Tim Blechmann <firstname.lastname@example.org>