program/js/app.js @@ -3730,7 +3730,9 @@ if (this.ksearch_pane) this.ksearch_pane.hide(); }; this.ksearch_destroy(); }; // Aborts pending autocomplete requests this.ksearch_destroy = function()