browser: search support percentages

Compare query to total usage percentage if number preceded by operator.

For example "<10" finds only very rare features.

diff --git a/searchlocal.js b/searchlocal.js
index 99bffb2d272372139e08561cb4c7822281aeae69..ac38dce9501aa502d82dc387095e937ae7880507 100644 (file)
--- a/searchlocal.js
+++ b/searchlocal.js
@@ -81,6 +81,14 @@ function filtertable(query, action) {
                        return row.cells[0].title.match(query, 'i');
                };
        }
                        return row.cells[0].title.match(query, 'i');
                };
        }

+       else if (numquery = /^([<>])(\d+)$/.exec(query)) {
+               // support percentage if numeric comparison
+               var match = function(row) {
+                       var pct = row.cells[row.cells.length - 1].textContent;
+                       pct -= numquery[2]; // compare to query
+                       return numquery[1] == '<' ? pct < 0 : pct >= 0;
+               };
+       }

        else if (action == 'focus' && query.length <= 1) {
                // prevent superfluous highlighting
                var match = false;
        else if (action == 'focus' && query.length <= 1) {
                // prevent superfluous highlighting
                var match = false;