Allow to execute a HTTP download of a file

[devedit.git] / templates / viewfile.htm

diff --git a/templates/viewfile.htm b/templates/viewfile.htm
index 556e0174fdc8bcb4d025a0244dbf38b1871a7a75..7303f1fe1b7c4627560e2721e5d5a9d286720b27 100644 (file)
--- a/templates/viewfile.htm
+++ b/templates/viewfile.htm
@@ -12,12 +12,29 @@
 
 <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&amp;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;">
 {CONTENT}
 </pre>
 </div>
+
+<ul>
+<li><a href="{SCRIPT}?command=download&amp;file={FILE_URL}">Download this file</a></li>{IF editable}
+<li><a href="{SCRIPT}?command=beginedit&amp;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