Make dot optional in search normalization

jashkenas · Mar 7, 2017 · 0d89d4d · 0d89d4d
1 parent 3917430
commit 0d89d4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/main.js b/docs/main.js
@@ -4,7 +4,7 @@
   var searchInput = document.getElementById('function_filter');
 
   function searchValue() {
-    return searchInput.value.trim().replace(/^_\./, '');
+    return searchInput.value.trim().replace(/^_\.?/, '');
   }
 
   function strIn(a, b) {