using multi-highlight for search results

Author: jaredly

frontend/Store.js

@@ -194,6 +194,7 @@ 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) {
@@ -205,6 +206,14 @@ 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');