diff --git a/extension/src/json-viewer/highlighter.js b/extension/src/json-viewer/highlighter.js index f817f75b..50c34ce9 100644 --- a/extension/src/json-viewer/highlighter.js +++ b/extension/src/json-viewer/highlighter.js @@ -162,6 +162,10 @@ Highlighter.prototype = { CodeMirror.commands.findNext(cm); } + extraKeyMap["Shift-Enter"] = function(cm) { + CodeMirror.commands.findPrev(cm); + } + extraKeyMap["Ctrl-V"] = extraKeyMap["Cmd-V"] = function(cm) {}; }