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 for stopping/resetting shell #4

Open
mdq3 opened this issue May 29, 2014 · 0 comments
Open

Button for stopping/resetting shell #4

mdq3 opened this issue May 29, 2014 · 0 comments

Comments

@mdq3
Copy link
Collaborator

mdq3 commented May 29, 2014

Program loops which run indefinitely must be able to be stopped in the shell. There is currently a keyboard short-cut (ALT-r) which resets shell, but this is an obscure method of doing it.

A button on the toolbar is needed which makes it intuitive to reset the shell.

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

No branches or pull requests

1 participant