search: keep what matched as it was typed when the server answers

Searching "fede" showed Federico's mail as it was typed, then Enter emptied the list: the server's answer replaced what matched locally, and Gmail and JMAP servers match whole words, where typing matched any part of one. Join the server's answer to the local matches instead, keep the same thread selected among them, and say the server found nothing more when it adds none.


Author rockorager.dev
Date Commit Parent 9e2c78ab
+30 -11
1 changed file
+30 -11
1 changed file