Improve global search

Add options to show only searches for - pinned sources - all sources - sources with results
2025-05-18 00:59:01 +02:00
parent 1e1489df75
commit 7885bcda98
6 changed files with 117 additions and 22 deletions
--- a/public/locales/en.json
+++ b/public/locales/en.json
@@ -1045,6 +1045,9 @@
        "source_search_failed": "Could not search source"
      }
    },
+    "filter": {
+      "has_results": "Has results"
+    },
    "title": {
      "global_search": "Global Search",
      "search": "Search"