##// END OF EJS Templates
Cleaning up menu code....
Cleaning up menu code. * QuickHelp button has been removed in favor of a Help menu item. * Keyboard shortcuts are now in the menus. * Numerous fixes to subtle aspects of the wijmenu implementation.
Brian Granger -
r5858:3339c9c2
Show More
Name Size Modified Last Commit Author
/ ... / html / notebook / static / codemirror / theme
default.css Loading ...
elegant.css Loading ...
ipython.css Loading ...
neat.css Loading ...
night.css Loading ...