Merge pull request #135 from benvan/shift-enter-previous-result

tulios · web-flow · commit 5a40fc1c5eb3 · 2017-01-16T11:08:05.000+01:00
Feature: shift-enter shows the previous search result
diff --git 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) {};
     }
 

Original file line number	Diff line number	Diff line change
`@@ -162,6 +162,10 @@ Highlighter.prototype = {`
`162`	`162`	`CodeMirror.commands.findNext(cm);`
`163`	`163`	`}`
`164`	`164`
	`165`	`+ extraKeyMap["Shift-Enter"] = function(cm) {`
	`166`	`+ CodeMirror.commands.findPrev(cm);`
	`167`	`+ }`
	`168`	`+`
`165`	`169`	`extraKeyMap["Ctrl-V"] = extraKeyMap["Cmd-V"] = function(cm) {};`
`166`	`170`	`}`
`167`	`171`