diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-17 14:35:41 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:29 +0100 |
| commit | 2fe1750bf8cc943d9c8a1a192e47376886859752 (patch) | |
| tree | 420f53e7b0602fdd843bc7102be9422c166f5e70 /.github | |
| parent | 90d321f0ffb3202c8a7c18298dd5871992ecb86a (diff) | |
| download | subsurface-2fe1750bf8cc943d9c8a1a192e47376886859752.tar.gz | |
Mobile/filter: add marker between entries in full text search
Otherwise we could match the end of one string and the beginning of the next,
so having a buddy name Linus and a dive master named Alvin would be matched
by USA.
Also add Notes to the full text search (I had forgotten those earlier).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions