-
Notifications
You must be signed in to change notification settings - Fork 24
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
Terminal window exiting #20
Comments
right now the terminal windows dont close. you can manualy close it ofc but it will remain in the list of terminals this is something for 0.2 on unix you can press "restart server" in the config, that will restart the server part of nodeMirror and clear the terminal list |
Looking forward to 0.2 then! |
me 2 ;D its the result of my experience with nodeMirror and it will be the foundation of 0.2 |
PromiseLand looks interesting. I'm looking forward to learning more about it. Did I understand it correctly that it's a language that compiles to JavaScript and it's main purpose is to deal with the "callback hell"? |
@isusanin yes, thats the main motivation behind it, but it lead to other very convenient features integrated on the programming language level. a preview of nodemirror 0.2.x is available in the 0.2.x branch. |
If I issue an "exit" command in the terminal, the terminal windows doesn't close. What's the proper way of closing terminal windows?
The text was updated successfully, but these errors were encountered: