##// END OF EJS Templates
remove preventDefault on menubar...
remove preventDefault on menubar no longer needed after removing fixed header
Min RK -
r20082:dbfb4505
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / base / js
dialog.js Loading ...
events.js Loading ...
keyboard.js Loading ...
namespace.js Loading ...
notificationarea.js Loading ...
notificationwidget.js Loading ...
page.js Loading ...
security.js Loading ...
utils.js Loading ...