More keybinding tweaks; conditionally load color scheme to work around bug in IntelliJ IDEA.