Update panel.js

captainbrosset · Oct 20, 2014 · 7e63e19 · 7e63e19
1 parent b98b1f5
commit 7e63e19
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/data/panel.js b/data/panel.js
@@ -134,6 +134,10 @@ PageRecorderPanel.prototype = {
         this["buildRecordOutputFor_unknown"](formatterData);
       }
 
+      if (query !== "" || li.textContent.toLowerCase().indexOf(query) == -1) {
+        el.style.display = "none";
+      }
+
       this.recordsEl.appendChild(li);
     }