Preserve the directory listing filter if the user changes the directory using

[devedit.git] / templates / dirlist.htm

diff --git a/templates/dirlist.htm b/templates/dirlist.htm
index 7338db2f994a3deb95207487cbda3f14caec0d90..7b047d97b7e0ef605dec7a30a3efe0d77652ce06 100644 (file)
--- a/templates/dirlist.htm
+++ b/templates/dirlist.htm
@@ -51,7 +51,8 @@
 <table border="0">
 <tr>
 <form action="{SCRIPT}">
-<input type="hidden" name="command" value="show">
+<input type="hidden" name="command" value="show">{IF filter}
+<input type="hidden" name="filter" value="{FILTER}">{ENDIF}
 <td>Go to directory/file:</td>
 <td><input type="text" name="file" value="{DIR}"></td>
 <td><input type="submit" value="Go!"></td>