From 3012189906f27bf108149bfd37188fb8cd294d78 Mon Sep 17 00:00:00 2001
From: Joe ST <joe@fbstj.net>
Date: Sun, 8 Sep 2024 18:56:22 +0100
Subject: [PATCH] improve filter fields

adding ` type="search"` to the filter fields causes browsers to add a little x to the field to 'cancel' the search and clear the field
---
 static/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/static/index.html b/static/index.html
index b0e0652..4f4b052 100644
--- a/static/index.html
+++ b/static/index.html
@@ -19,7 +19,7 @@
     <pre>cargo build --release -Zbuild-std=core</pre></p>
     <p>This checks that codegen/linking of core works, but does not check whether std builds.</p>
     <label for="target-filter">Target Filter</label>
-    <input id="target-filter" />
+    <input id="target-filter" type="search" />
     <label for="target-filter-failed">Filter failed</label>
     <input type="checkbox" id="target-filter-failed" />
 
@@ -35,7 +35,7 @@
     <pre>cargo miri setup</pre></p>
     <p>This checks that std builds (on targets that have it) but does not check whether codegen/linking works.</p>
     <label for="target-filter-miri">Target Filter</label>
-    <input id="target-filter-miri" />
+    <input id="target-filter-miri" type="search" />
     <label for="target-filter-failed-miri">Filter failed</label>
     <input type="checkbox" id="target-filter-failed-miri" />