From 2007e3d8891bb8733c34ceff7cba826760bddfc2 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Mon, 11 Jul 2022 00:43:59 +0530
Subject: 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.
---
 issues/add-links-to-filter-documents-by-type.gmi | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'issues/add-links-to-filter-documents-by-type.gmi')

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
-- 
cgit v1.2.3