##// END OF EJS Templates
Improve 'save history' menu (%save)...
Improve 'save history' menu (%save) Real file chooser menu, get the current session history range by default. If the file already exist, the user will be prompted twice if he/she really want to be override the existing file ( by the gui, and the magic afterward) One might also to add the (-r) %save option into the gui.
Matthias BUSSONNIER -
r5030:cf3ca98e
Show More
Name Size Modified Last Commit Author
/ IPython / frontend
html
qt
terminal
__init__.py Loading ...