From 65c907a990f96283af8d52e51bc5906a95a20f8c Mon Sep 17 00:00:00 2001
From: Patrick Jentsch <p.jentsch@uni-bielefeld.de>
Date: Wed, 7 Dec 2022 14:12:30 +0100
Subject: [PATCH] Add search functionality to public corpora page

---
 app/templates/corpora/corpora.html.j2 | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/app/templates/corpora/corpora.html.j2 b/app/templates/corpora/corpora.html.j2
index 1a8766ab..8cc701f8 100644
--- a/app/templates/corpora/corpora.html.j2
+++ b/app/templates/corpora/corpora.html.j2
@@ -9,12 +9,10 @@
         <h1 id="title"><i class="nopaque-icons" style="font-size: inherit;">I</i>Corpora</h1>
       </div>
       <div class="white" style="padding: 0 15px; border-radius: 20px;">
-        <form>
-          <div class="input-field">
-            <i class="material-icons prefix">search</i>
-            <input id="search" placeholder="Find public corpora" type="text">
-          </div>
-        </form>
+        <div class="input-field">
+          <i class="material-icons prefix">search</i>
+          <input id="public-corpora-search" placeholder="Find public corpora" type="text">
+        </div>
       </div>
     </div>
   </div>
@@ -38,7 +36,9 @@
 {% block scripts %}
 {{ super() }}
 <script>
+  let publicCorporaSearchElement = document.querySelector('#public-corpora-search');
   let corpusList = CorpusList.getInstance(document.querySelector('#corpora .corpus-list .list'));
+  publicCorporaSearchElement.addEventListener('keyup', function() {corpusList.listjs.search(this.value);});
   corpusList._init({{ corpora|tojson }});
 </script>
 {% endblock scripts %}