diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 13:15:23 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 13:15:23 +0100 |
| commit | aceb9e7870a367d3a7083fbfef5d18285894c92f (patch) | |
| tree | a173b652668dceefed9d6833ea56032b20faec72 | |
| parent | d38e0af8b61ebd1ce5748a878eeb6158d0229671 (diff) | |
Use "search" as input type for search bar.
| -rw-r--r-- | mumi/web/view/html.scm | 3 |
1 files changed, 1 insertions, 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) |