##// END OF EJS Templates
remove pagemain.js...
remove pagemain.js It does not seem to be usefull anymore. The different main.js of /tree /notebook /etc do create an instance of `page` themselves, error pages do have hardcoded styles that show header and sites.
Matthias BUSSONNIER -
r17276:b2f35a66
Show More
Name Size Modified Last Commit Author
/ IPython / lib
tests
__init__.py Loading ...
backgroundjobs.py Loading ...
clipboard.py Loading ...
deepreload.py Loading ...
demo.py Loading ...
display.py Loading ...
editorhooks.py Loading ...
guisupport.py Loading ...
inputhook.py Loading ...
inputhookglut.py Loading ...
inputhookgtk.py Loading ...
inputhookgtk3.py Loading ...
inputhookpyglet.py Loading ...
inputhookqt4.py Loading ...
inputhookwx.py Loading ...
kernel.py Loading ...
latextools.py Loading ...
pretty.py Loading ...
security.py Loading ...