make clear what filename is being saved. Phil Underwood issue.

core/views/survex.py

@@ -404,7 +404,7 @@ def svx(request, survex_file):
         if not difflist:
             difflist = ["Survex file does not exist yet"]
 
-
+    fn = str(svxfile)[11:]
     events = events_on_dates(svxblocks)
     year = year_for_svx(svxblocks)
     form.data['who_are_you'] = editor
@@ -421,6 +421,7 @@ def svx(request, survex_file):
         "logmessage": logmessage,
         "form": form,
         "events": events,
+        "filename": fn,
         #"dirparent": dirparent,
     }
 

templates/svxfile.html

@@ -57,7 +57,7 @@ $(document).ready(function()
     <div>Who are you? {{form.who_are_you}}</div>
     <div style="display:none">{{form.filename}} {{form.dirname}} {{form.datetime}} {{form.outputtype}}</div>
     <input type="submit" name="diff" value="Differences between edited and saved versions of this file" />
-    <input type="submit" name="save" value="Save this edited svx file"/>
+    <input type="submit" name="save" value="Save this edited file {{ filename }}.svx"/>
     <input type="submit" name="process" value="Run 'cavern' on this svx file" title="executes cavern"/>
 </form>