Small enhancement for devedit_reload()

[devedit.git] / templates / dirlist.htm

diff --git a/templates/dirlist.htm b/templates/dirlist.htm
index 3ababdedc1d54f8c689e2b514239b0aa8aee3eb0..59abf6670927800d2a29de7c0b1fa2a388d63648 100644 (file)
--- a/templates/dirlist.htm
+++ b/templates/dirlist.htm
@@ -45,5 +45,14 @@
 
 <hr>
 
+<table border="0" width="100%">
+<tr>
+<form action="{SCRIPT}">
+<input type="hidden" name="command" value="show">
+<td>Go to directory/file: <input type="text" name="file" value="{DIR}"> <input type="submit" value="Go!"></td>
+</form>
+<td align="right"><a href="{SCRIPT}?command=about" target="_blank"><i>About Dev-Editor</i></a></td>
+</tr>
+</table>
 </body>
 </html>
\ No newline at end of file