disable search result highlighting for the moment

Author: jaredly

frontend/Store.js

@@ -194,7 +194,6 @@ class Store extends EventEmitter {
     this.searchText = text;
     this.emit('searchText');
     this.emit('searchRoots');
-    this.highlightSearchResults();
     if (this.searchRoots && !this.searchRoots.contains(this.selected)) {
       this.select(null, true);
     } else if (!this.searchRoots) {
@@ -206,14 +205,6 @@ class Store extends EventEmitter {
     }
   }
 
-  highlightSearchResults() {
-    if (this.searchRoots && this.searchRoots.size) {
-      this._bridge.send('highlightMany', this.searchRoots.toArray());
-    } else {
-      this._bridge.send('hideHighlight');
-    }
-  }
-
   hoverClass(name: string): void {
     if (name === null) {
       this._bridge.send('hideHighlight');