diff options
| author | Arun Isaac | 2022-07-11 00:43:59 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-07-11 00:56:36 +0530 |
| commit | 2007e3d8891bb8733c34ceff7cba826760bddfc2 (patch) | |
| tree | 28ca8bdf745fe8936e94d41f35327eb7e9abda61 /issues | |
| parent | 7411f852750c8337006522e56451a1748c7bcbc4 (diff) | |
| download | tissue-2007e3d8891bb8733c34ceff7cba826760bddfc2.tar.gz tissue-2007e3d8891bb8733c34ceff7cba826760bddfc2.tar.lz tissue-2007e3d8891bb8733c34ceff7cba826760bddfc2.zip | |
web: server: Summarize number of results by type.
* tissue/web/server.scm (%css)[.search-results-statistics,
.search-results-statistics li, .search-results-statistics a,
.current-search-type]: New rules.
* tissue/web/server.scm (make-search-page): Summarize number of
results by type.
(query-string, matches): New functions.
(handler): Pass the number of matches by type to make-search-page.
* issues/add-links-to-filter-documents-by-type.gmi: Close issue.
Diffstat (limited to 'issues')
| -rw-r--r-- | issues/add-links-to-filter-documents-by-type.gmi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/issues/add-links-to-filter-documents-by-type.gmi b/issues/add-links-to-filter-documents-by-type.gmi index 533e0f7..095e5cf 100644 --- a/issues/add-links-to-filter-documents-by-type.gmi +++ b/issues/add-links-to-filter-documents-by-type.gmi @@ -3,3 +3,6 @@ * tags: enhancement, web ui Currently, in the web UI, if the user wants to filter by document type (issues, other documents, etc.), they need to add terms such as type:issue or type:document to the search query. The casual user is not going to learn this search query syntax, and this is going to lead to a lot of confusion. It would be much better to add links to quickly filter by document type. These links will be graphical aids that any user can click with ease. + +This is implemented now. +* closed |