Add search bar to search page, so you can search again
authorJelte Fennema-Nio <github-tech@jeltef.nl>
Tue, 24 Sep 2024 20:29:02 +0000 (22:29 +0200)
committerMagnus Hagander <magnus@hagander.net>
Tue, 24 Sep 2024 20:29:02 +0000 (22:29 +0200)
pgcommitfest/commitfest/templates/patchsearch.html

index 93da3cc4b4b24a7123868c900479ed739920f635..c7e0502611bdae45584625053bc5e3dee3d805cc 100644 (file)
@@ -2,6 +2,13 @@
 {%load commitfest %}
 {%block contents%}
 
+<form method="GET" action="/search/" class="form-inline" style="margin-bottom: 10px">
+  <div class="form-group">
+    <input type="text" class="form-control" id="searchterm" name="searchterm" placeholder="Global search">
+  </div>
+  <button type="submit" class="btn btn-default">Search</button>
+</form>
+
 <table class="table table-striped table-bordered table-hover table-condensed">
  <thead>
   <tr>