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

Button to view recent command history #133

Open
naxels opened this issue Mar 24, 2019 · 1 comment
Open

Button to view recent command history #133

naxels opened this issue Mar 24, 2019 · 1 comment

Comments

@naxels
Copy link

naxels commented Mar 24, 2019

Besides the key combination, could we get a small button to press in order to view the history as a list and when you tap on a history line, it is inserted in the text editor?

This way if a command fails in the repl you don't have to retype/copy & paste in order to fix it.

Thank you!

@kwccoin
Copy link

kwccoin commented Apr 22, 2019

And can we have a way to copy all history as well. Thx.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants