8909e03f1c
Perviously, 'foo bar' would match 'foo/bar' but not 'bar/foo'. Now it will match both, using a query with a WHERE clause like: WHERE ((url || title) like '%foo%' AND (url || title) like '%bar%') This does not seem to change the performance benchmark. However, it does create a new query for every character added rather than re-running the same query with different parameters. We could re-use queries if we maintained a list like self._queries=[1_arg_query, 2_arg_query, ...]. However, it isn't clear that such a complexity would be necessary. Resolves #1651. |
||
---|---|---|
.. | ||
browser | ||
commands | ||
completion | ||
config | ||
javascript | ||
keyinput | ||
mainwindow | ||
misc | ||
scripts | ||
utils | ||
test_app.py |