Markus Koch 5b5ce97a1a Fix search behavior
Before, it was always searching for the current term without
the last entered (or with the last deleted) character. This
behavior is fixed now. Also, an empty query will now match
(hopefully) nothing instead of everything.
2020-04-25 17:34:33 +02:00
..
2020-04-25 17:34:33 +02:00