Merge pull request #7541 from minrk/no-no-default

remove preventDefault on menubar
This commit is contained in:
Thomas Kluyver 2015-01-22 14:57:43 -08:00
commit 306ced6ac7

View File

@ -62,7 +62,6 @@ define([
// re-select it upon selection.
var i = that.notebook.get_selected_index();
that.notebook.select(i);
event.preventDefault();
}
);
};