Merge pull request #3871 from parente/fix/shortcut-editor-enter

Fix Enter causes page reload in shortcuts editor
8 years ago · 4650dabd05
parent 9c60369a17 109b39e2b6
commit 4650dabd05
1 changed files with 1 additions and 0 deletions
--- a/notebook/static/notebook/js/shortcuteditor.js
+++ b/notebook/static/notebook/js/shortcuteditor.js
@ -50,6 +50,7 @@ var KeyBinding = createClass({
        that.props.onAddBindings(that.state.shrt, that.props.ckey);
      }
      that.state.shrt='';
+      event.preventDefault();
      return false;
    };
    return createElement('form', {className:'jupyter-keybindings',