From 876f0b30fc031d69d40d09f2eee28833da08a673 Mon Sep 17 00:00:00 2001
From: David <David@MacBook-Pro-de-David.local>
Date: Mon, 2 Sep 2019 08:02:49 -0500
Subject: [PATCH] Add matches search into code mirror

---
 client/utils/codemirror-search.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/client/utils/codemirror-search.js b/client/utils/codemirror-search.js
index 9c8b69e1..b680cf69 100644
--- a/client/utils/codemirror-search.js
+++ b/client/utils/codemirror-search.js
@@ -73,6 +73,8 @@ export default function(CodeMirror) {
       CodeMirror.on(searchField, "keyup", function (e) {
         if (e.keyCode !== 13 && searchField.value.length > 1) { // not enter and more than 1 character to search
           startSearch(cm, getSearchState(cm), searchField.value);
+        } else {
+          cm.display.wrapper.querySelector('.CodeMirror-search-results').innerText = '';
         }
       });
 
@@ -260,6 +262,7 @@ export default function(CodeMirror) {
         </button>
       </div>
       <div class="CodeMirror-search-nav">
+        <button class="CodeMirror-search-results"></button>
         <button
           title="Previous"
           aria-label="Previous"
@@ -292,6 +295,10 @@ export default function(CodeMirror) {
       if (state.annotate) { state.annotate.clear(); state.annotate = null; }
       state.annotate = cm.showMatchesOnScrollbar(state.query,  state.caseInsensitive);
     }
+    var num_match = cm.state.search.annotate.matches.length;
+    var text_match = 
+      'Results: ' + num_match;
+    cm.display.wrapper.querySelector('.CodeMirror-search-results').innerText = text_match;
   }
 
   function doSearch(cm, rev, persistent, immediate, ignoreQuery) {