@cfleming: Not sure exactly how I did it, but after playing around with the settings I somehow managed to keep the REPL visible in distraction free mode. Thanks!

@tord let me know if you figure out how you did it - I live in distraction free and it annoys me too

@tord: @tbrooke: Looks like you can open the toolwindow with the keyboard shortcut, at least