##// 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 / terminal
tests
__init__.py Loading ...
embed.py Loading ...
interactiveshell.py Loading ...
ipapp.py Loading ...