diff options
Diffstat (limited to 'static/index.html')
-rw-r--r-- | static/index.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/static/index.html b/static/index.html index c1d75db..e2f2312 100644 --- a/static/index.html +++ b/static/index.html @@ -14,6 +14,9 @@ <input type="button" value="Open event source" onclick="event_open()" /> <input type="button" value="Refresh directory" onclick="list(document.getElementById('current-dir').innerHTML.split(': ', 2)[1])" /> </div> + <div id="search-div"> + <input type="text" id="search-query" onkeypress="do_search(event)" /> + </div> <div id="current-dir"></div> <div id="hpanel"> <span "browser-span"> |