##// END OF EJS Templates
The pretty.py extension has been ported to the new extension API....
The pretty.py extension has been ported to the new extension API. I have also cleaned up the extension API to enable extension unloading and have added magics for working with extensions: * %load_ext * %reload_ext * %unload_ext

File last commit:

r1251:99658885
r2281:21a097ae
Show More
seteditor.py
15 lines | 113 B | text/x-python | PythonLexer
import os
editor = r'q:/opt/np/notepad++.exe'
e = os.environ
e['EDITOR'] = editor
e['VISUAL'] = editor