Is there a key binding to switch between a file window and ProtoREPL console (and back)? I've had a dig around and can't seem to switch between the two without the mouse.

On Mac I use cmd-k cmd-n

It’s the Window: Focus Next Pane command — whatever keys that is bound.

Cheers - ^cmd^ctrl^ on Linux 🙂