##// 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
Brian Granger -
r2281:21a097ae
Show More
Name Size Modified Last Commit Author
/ docs / examples / lib
gui-gtk.py Loading ...
gui-mpl.py Loading ...
gui-qt.py Loading ...
gui-tk.py Loading ...
gui-wx.py Loading ...