diff options
| author | 2025-10-15 00:08:40 +0200 | |
|---|---|---|
| committer | 2025-10-15 00:08:40 +0200 | |
| commit | e070c3ed2bec4ea4a6c2a216a5c836d1e02ab381 (patch) | |
| tree | c65a238580dc5b78c6cf6a1947523ff6291eaa0a /docs/en | |
| parent | 1b8bc1ae8b9810eb66ff798093b89d2ce690373f (diff) | |
Implement search form (#8103)
* Add UI for advanced search
To help users with the seach operators.
Obviously not as powerful as a manually-written search query.
Lack in particular negation and logical *and* for now, but I might try to do something about it.
<img width="939" height="1438" alt="image" src="https://github.com/user-attachments/assets/0bcad39b-eff3-4f44-876b-a2552af2af00" />
* Consistency: allow multiple user queries like S:1,2
* Fix user query and add tests
Diffstat (limited to 'docs/en')
| -rw-r--r-- | docs/en/users/10_filter.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/users/10_filter.md b/docs/en/users/10_filter.md index 42e44339b..d6c8ea05e 100644 --- a/docs/en/users/10_filter.md +++ b/docs/en/users/10_filter.md @@ -95,7 +95,7 @@ You can use the search field to further refine results: * by custom label name `label:label`, `label:"my label"` or any label name from a list (*or*): `labels:"my label,my other label"` * by several label names (*and*): `label:"my label" label:"my other label"` * by entry (article) ID: `e:1639310674957894` or multiple entry IDs (*or*): `e:1639310674957894,1639310674957893` -* by user query (saved search) name: `search:myQuery`, `search:"My query"` or saved search ID: `S:3` +* by user query (saved search) name: `search:myQuery`, `search:"My query"` or saved search ID: `S:3` or multiple search IDs: `S:1,2` * internally, those references are replaced by the corresponding user query in the search expression Be careful not to enter a space between the operator and the search value. |
