diff options
| author | Jon Bergli Heier <snakebite@jvnv.net> | 2011-08-23 19:03:14 +0200 |
|---|---|---|
| committer | Jon Bergli Heier <snakebite@jvnv.net> | 2011-08-23 19:03:14 +0200 |
| commit | 8f1b87a29af1526c6adbb16694dbb52aa8cce26e (patch) | |
| tree | 92d84498ca9160c38d3518188283cb9d846827d4 /static/index.html | |
| parent | 914761368f6a5f19df26019e8290b4e86fb76cfb (diff) | |
Added search box.
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"> |