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

diff -r 9b8daa76d737 -r dc1a4bf0b6b3 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);