From aceb9e7870a367d3a7083fbfef5d18285894c92f Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 20 Dec 2022 13:15:23 +0100 Subject: Use "search" as input type for search bar. --- mumi/web/view/html.scm | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 8596502..b574289 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -85,8 +85,7 @@ (@ (class ,(if standalone? "input-group input-group-lg" "input-group"))) - (input (@ (type "text") - (class "form-control") + (input (@ (type "search") (id "query") (name "query") (value ,text) -- cgit v1.2.3