<p>(equals <a href="{URL}" target="_blank">{URL}</a>)</p>
-<p><a href="{SCRIPT}?command=show&file={DIR}">Back to {DIR}</a></p>
+<p><a href="{SCRIPT}?command=show&file={DIR_URL}">Back to {DIR}</a></p>
<div style="background-color:#FFFFE0;border:1px solid black;margin-top:10px;width:100%">
<pre style="color:#0000C0;">
</pre>
</div>
-<p align="right"><a href="{SCRIPT}?command=about" target="_blank"><i>About Dev-Editor</i></a></p>
+<ul>
+<li><a href="{SCRIPT}?command=download&file={FILE_URL}">Download this file</a></li>{IF editable}
+<li><a href="{SCRIPT}?command=beginedit&file={FILE_URL}">Edit this file</a></li>{ENDIF}
+</ul>
+
+<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="{FILE}"> <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