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.

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

Add REPL hot-keys #54

Open
IBIT-ZEE opened this issue Sep 2, 2014 · 1 comment
Open

Add REPL hot-keys #54

IBIT-ZEE opened this issue Sep 2, 2014 · 1 comment
Labels
Milestone

Comments

@IBIT-ZEE
Copy link

IBIT-ZEE commented Sep 2, 2014

REPL editor HOME and END keys not working (version 0.1.1.20912)
HOME should go to begin of editing line
END should go to end of editing line

as we are with 'hands' in this stuff:
ESC should clear the edition line
F2 for a list of all commands (history), ENTER put select in edit line
F3 open a dialog box to FIND a string (regex) in all the text
CTRL+HOME/CTRL+END should go to begin/end of text (all text in c# interactive window)
PGUP/PGDN should up/down 1 page

Great product... thanks...
ZEE

@lukebuehler
Copy link
Owner

@IBIT-ZEE, HOME and END works now, see pr #55

@lukebuehler lukebuehler changed the title REPL editor HOME and END keys not working (version 0.1.1.20912) Add REPL hot-keys May 7, 2015
@lukebuehler lukebuehler added this to the v0.3 milestone May 7, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants