Avoid useless update of the search box on user input

This commit is contained in:
Andrea Cardaci 2018-05-29 12:05:19 +02:00
parent 125f410e01
commit a108890c1f

View File

@ -24,9 +24,7 @@
<script> <script>
function filter(query) { function filter(query) {
// consistently update URL and search box // consistently update the URL
var searchBox = document.getElementById('bin-search');
searchBox.value = query;
location.hash = query; location.hash = query;
// determine the query type // determine the query type