Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Keybinding: Move focus to REPL input #1372

Closed
mbossenbroek opened this issue Apr 22, 2016 · 0 comments
Closed

Keybinding: Move focus to REPL input #1372

mbossenbroek opened this issue Apr 22, 2016 · 0 comments
Labels
released Marks issues which have had the fixes released in a stable build
Milestone
1.2.6

Comments

@mbossenbroek
Copy link

Would it be possible to add a keybinding that would move the cursor to the REPL input? I frequently find myself having to click to get the focus back to the REPL & it would be very convenient to have a keyboard shortcut for that.
@cursive-ide cursive-ide added this to the 1.2.6 milestone May 1, 2016
@cursive-ide cursive-ide added the released Marks issues which have had the fixes released in a stable build label Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
released Marks issues which have had the fixes released in a stable build
Projects
None yet
Milestone
1.2.6
Development

No branches or pull requests
2 participants
@cursive-ide @mbossenbroek