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 escape as quit key #26

Merged
merged 2 commits into from
Apr 10, 2022
Merged

Add escape as quit key #26

merged 2 commits into from
Apr 10, 2022

Conversation

ollisco
Copy link
Collaborator

@ollisco ollisco commented Apr 9, 2022

Now you can quit the window with escape, very comfortable imo.

The handle key events could be improved but it works for now

@ollisco ollisco added Enhancement🚀 New feature or request IDE🖥️ This is related to the IDE labels Apr 9, 2022
@ollisco ollisco requested review from foodelevator and ghagl April 9, 2022 17:26
@ghagl ghagl merged commit 0560eea into main Apr 10, 2022
@foodelevator foodelevator deleted the ollejer/add-quit-key branch April 18, 2022 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement🚀 New feature or request IDE🖥️ This is related to the IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants