##// 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 / tests / services
kernel.js Loading ...
serialize.js Loading ...
session.js Loading ...