view/html: Add search-widget.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 21:53:07 +0000 (23:53 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 21:53:07 +0000 (23:53 +0200)
commitf335e3b97130161171f9164c9d00469ff5088b77
tree2622735148a16f6d149d953066f5eeb6f14b09cc
parent115234b866b81bd150a97d975267baa4b07989fa
view/html: Add search-widget.
mumi/web/view/html.scm