From a108890c1f557cf68c621a0bfe72bac0c86fc4b8 Mon Sep 17 00:00:00 2001
From: Andrea Cardaci <cyrus.and@gmail.com>
Date: Tue, 29 May 2018 12:05:19 +0200
Subject: [PATCH] Avoid useless update of the search box on user input

---
 _includes/bin_table.html | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/_includes/bin_table.html b/_includes/bin_table.html
index a7b56bf..aac1877 100644
--- a/_includes/bin_table.html
+++ b/_includes/bin_table.html
@@ -24,9 +24,7 @@
 
 <script>
  function filter(query) {
-     // consistently update URL and search box
-     var searchBox = document.getElementById('bin-search');
-     searchBox.value = query;
+     // consistently update the URL
      location.hash = query;
 
      // determine the query type