##// 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.

File last commit:

r4406:0251893c
r5030:cf3ca98e
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer