diff --git a/webui/assets/main.js b/webui/assets/main.js index d5105c600..9d60cd41d 100644 --- a/webui/assets/main.js +++ b/webui/assets/main.js @@ -250,3 +250,5 @@ const button = document.getElementById('query-btn') repl = new REPL(input, output, button) repl.populate_index_dropdown() repl.bind_events() + +input.focus()