zipgrep: Add ability to filter by package type

2025-04-27 18:08:42 +01:00
parent 3a468a9b85
commit 4e502f38aa
3 changed files with 15 additions and 10 deletions
--- a/app/templates/zipgrep/search.html
+++ b/app/templates/zipgrep/search.html
@@ -17,6 +17,7 @@
 		{{ form.hidden_tag() }}
 		{{ render_field(form.query, hint=self.query_hint()) }}
 		{{ render_field(form.file_filter, hint="Supports wildcards and regex") }}
+		{{ render_field(form.type, hint=_("Use shift to select multiple. Leave selection empty to match any type.")) }}
 		{{ render_submit_field(form.submit, tabindex=180) }}
 	</form>