##// END OF EJS Templates
remove preventDefault on menubar...
Min RK -
Show More
@@ -62,7 +62,6 b' define(['
62 // re-select it upon selection.
62 // re-select it upon selection.
63 var i = that.notebook.get_selected_index();
63 var i = that.notebook.get_selected_index();
64 that.notebook.select(i);
64 that.notebook.select(i);
65 event.preventDefault();
66 }
65 }
67 );
66 );
68 };
67 };
General Comments 0
You need to be logged in to leave comments. Login now