You can now define alias names for users who have an individual configuration,

[devedit.git] / templates / editfile.htm

diff --git a/templates/editfile.htm b/templates/editfile.htm
index a14b7fbbc92599783dd7f0abfd870bea5842a1c7..99c71a6aa729726555c7d1530b5bc433570b85f3 100644 (file)
--- a/templates/editfile.htm
+++ b/templates/editfile.htm
@@ -25,7 +25,7 @@
 
 <p><input type="checkbox" name="saveas" id="newfile" value="1"><label for="newfile">Save as new file: {DIR} </label><input type="text" name="newfile" value="" onchange="if(this.form.newfile.value != '') this.form.saveas.checked = true; else this.form.saveas.checked = false;"></p>
 
-<p><input type="submit" value="Save file"> <input type="reset" value="Discard changes"></p>
+<p><input type="submit" value="Save file and end editing"> <input type="submit" name="continue" value="Save file and continue editing"> <input type="reset" value="Discard changes"></p>
 </form>
 
 </body>