Highlight occurences of the selected text

Search and highlight occurrences of the selected text.
Ericsson · Apr 12, 2018 · e85c57b · e85c57b
1 parent 6984fbb
commit e85c57b
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 1 deletion.
diff --git a/www/index.html b/www/index.html
@@ -31,6 +31,9 @@
   <script type="text/javascript" src="scripts/plugins/codemirror/dist/codemirror.min.js"></script>
   <script type="text/javascript" src="scripts/plugins/codemirror/mode/clike/clike.js"></script>
   <script type="text/javascript" src="scripts/plugins/codemirror/addon/dialog/dialog.js"></script>
+  <script type="text/javascript" src="scripts/plugins/codemirror/addon/scroll/annotatescrollbar.js"></script>
+  <script type="text/javascript" src="scripts/plugins/codemirror/addon/search/match-highlighter.js"></script>
+  <script type="text/javascript" src="scripts/plugins/codemirror/addon/search/matchesonscrollbar.js"></script>
   <script type="text/javascript" src="scripts/plugins/codemirror/addon/search/search.js"></script>
   <script type="text/javascript" src="scripts/plugins/codemirror/addon/search/searchcursor.js"></script>
   <script type="text/javascript" src="scripts/plugins/codemirror/addon/edit/matchbrackets.js"></script>

diff --git a/www/scripts/codecheckerviewer/BugViewer.js b/www/scripts/codecheckerviewer/BugViewer.js
@@ -201,7 +201,8 @@ function (declare, domClass, dom, style, fx, Toggler, keys, on, query, Memory,
         foldGutter : true,
         gutters : ['CodeMirror-linenumbers', 'bugInfo'],
         extraKeys : {},
-        viewportMargin : 500
+        viewportMargin : 500,
+        highlightSelectionMatches : { showToken: /\w/, annotateScrollbar: true }
       });
 
       this.codeMirror.on('viewportChange', function (cm, from, to) {

diff --git a/www/style/codecheckerviewer.css b/www/style/codecheckerviewer.css
@@ -608,3 +608,11 @@ html, body {
 .dijitTooltip .bug-path-length {
   padding: 0px 4px;
 }
+
+.cm-matchhighlight {
+  background-color: lightgreen
+}
+
+.CodeMirror-selection-highlight-scrollbar {
+  background-color: green
+}