##// 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 / html / tests / notebook
display_image.js Loading ...
dualmode.js Loading ...
dualmode_arrows.js Loading ...
dualmode_cellinsert.js Loading ...
dualmode_cellmode.js Loading ...
dualmode_clipboard.js Loading ...
dualmode_execute.js Loading ...
dualmode_markdown.js Loading ...
dualmode_merge.js Loading ...
dualmode_movecell.js Loading ...
empty_arrow_keys.js Loading ...
execute_code.js Loading ...
inject_js.js Loading ...
interrupt.js Loading ...
isolated_svg.js Loading ...
markdown.js Loading ...
merge_cells_api.js Loading ...
roundtrip.js Loading ...
safe_append_output.js Loading ...
save.js Loading ...
shutdown.js Loading ...
tooltip.js Loading ...