const SIZE = 20; let mimeMap = []; let tree; let searchBar = document.getElementById("searchBar"); let pathBar = document.getElementById("pathBar"); let scroll_id = null; let docCount = 0; let coolingDown = false; let searchBusy = true; let selectedIndices = []; jQuery["jsonPost"] = function (url, data) { return jQuery.ajax({ url: url, type: "post", data: JSON.stringify(data), contentType: "application/json" }).fail(err => { console.log(err); }); }; function toggleSearchBar() { searchDebounced(); } $.jsonPost("i").then(resp => { resp["indices"].forEach(idx => { $("#indices").append($("