Albert S
7c5c91ef10
gui: search: Avoid double results + minor improvements
...
Avoid double results in search by distinguishing whether
a filter was explicitly given. Previously, we could not
discern this.
Furthermore, if a content search is given, lone words will be
considered path searches. If a path search is given, we consider
lone words implicit content search filters. This simplifies
queries for the user
2022-07-29 10:17:04 +02:00
..
2022-06-29 18:00:05 +02:00
2022-06-29 18:00:05 +02:00
2021-03-07 22:26:59 +01:00
2021-03-07 22:26:59 +01:00
2022-07-24 11:43:00 +02:00
2022-05-27 09:26:37 +02:00
2022-06-04 17:09:26 +02:00
2022-05-29 11:20:28 +02:00
2022-05-29 11:20:28 +02:00
2022-05-29 11:20:28 +02:00
2022-05-29 11:20:28 +02:00
2022-05-29 11:20:28 +02:00
2022-07-28 13:43:02 +02:00
2022-07-29 10:17:04 +02:00
2022-07-23 20:21:45 +02:00
2022-07-23 20:16:19 +02:00
2022-07-24 11:43:00 +02:00
2022-05-27 09:28:21 +02:00
2022-05-27 09:28:21 +02:00
2022-05-27 09:28:21 +02:00
2022-07-24 11:43:00 +02:00
2022-07-24 11:43:00 +02:00
2022-05-27 09:28:21 +02:00
2022-05-27 09:28:21 +02:00
2022-07-24 12:25:38 +02:00
2022-07-24 11:34:52 +02:00
2022-05-27 09:29:28 +02:00
2022-05-27 09:29:28 +02:00
2022-07-24 11:41:25 +02:00
2022-07-24 11:41:25 +02:00
2022-05-27 09:29:28 +02:00
2022-05-27 09:29:28 +02:00
2022-05-27 09:29:28 +02:00
2022-05-27 09:29:28 +02:00
2022-05-17 19:20:06 +02:00
2022-05-17 19:20:06 +02:00
2022-05-17 19:19:02 +02:00
2022-05-17 19:19:02 +02:00