# HG changeset patch
# User Nicholas Jillings <nickjillings@users.noreply.github.com>
# Date 1457534412 0
# Node ID 9abb207d2f6ac1b91c16949bd9d5e1ec13f40187
# Parent  2685bbdcb2843bff966698238d66c69f07e47772
Hotfix: Confirmation on successful save.

diff -r 2685bbdcb284 -r 9abb207d2f6a core.js
--- a/core.js	Wed Mar 09 14:34:32 2016 +0000
+++ b/core.js	Wed Mar 09 14:40:12 2016 +0000
@@ -351,6 +351,7 @@
                 if (response.getAttribute("state") == "OK") {
                     var file = response.getElementsByTagName("file")[0];
                     console.log("Save: OK, written "+file.getAttribute("bytes")+"B");
+                    popup.popupContent.textContent = "Thank you. Your session has been saved.";
                 } else {
                     var message = response.getElementsByTagName("message");
                     console.log("Save: Error! "+message.textContent);