From 6d246d66542a7aa2fb0c83458699b26ca8ca00cd Mon Sep 17 00:00:00 2001 From: Ben van Enckevort Date: Sun, 15 Jan 2017 17:07:53 +0000 Subject: [PATCH] made shift-enter show the previous search result --- extension/src/json-viewer/highlighter.js | 4 ++++ 1 file changed, 4 insertions(+) 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) {}; }