I've published a new version of proto repl which changes the keybinding initiator from ctrl-, to ctrl-alt-,. I left the old keybindings in place to avoid breaking existing users' workflows. I don't think this will interfere with opening preferences as most of the feedback was the preferences opened when you didn't want them to. If there are still problems please comment here: https://github.com/jasongilman/proto-repl-demo/issues/7