Action to jump between REPL and editor

[cursive-ide]

It would be nice to be able to jump from the editor to the REPL with a keypress. Currently there are no good solutions for this - "Jump to last toolwindow" only goes in one direction, and the command to open the REPL toolwindow will close it if it's already open.

[saolsen]

👍

[adamwynne]

+1

[aadrian]

The IntelliJ toolwindows used to have shortcuts: Structure: Alt+7, Project: Alt+1, etc. and the shortcut is rendered in front of the name. IMO the REPL windows just needs one too.

To jump in the editor window from other tool windows, usually F4 works, but not from the REPL - would be nice if it would work too.

[cursive-ide]

You can assign a number to the REPL toolwindow under Settings->Keymap, however as noted above this will close the toolwindow if it's already open.

F4 is "Jump to source", it will only work if you have something highlighted in the toolwindow that has a useful source location to jump to.

[aadrian]

however as noted above this will close the toolwindow if it's already open.

I guess this is because the tool window is not pinned. E.g. the Project window is pinned, so jumping to it with Alt+1 will not close it, just get the focus.

[sfnelson]

Escape works to jump back to the editor from the REPL.

On Tue, Dec 17, 2013 at 10:52 PM, aadrian notifications@github.com wrote:

however as noted above this will close the toolwindow if it's already open.

I guess this is because the tool window is not pinned. E.g. the Project
window is pinned, so jumping to it with Alt+1 will not close it, just get
the focus.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/174#issuecomment-30738143
.

[cursive-ide]

You're right. So that's actually a fairly reasonable solution - Cmd-9 (in my case) to jump to the REPL, and escape jumps back to the editor. If everyone's happy with that I'll close this issue.