Change keybinding for deactivating editor

Ctrl-d is easy to hit accidentally, causing lost work.

Issue #150