# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1477303842 -3600
# Node ID 22673a6cfcfbee2f366967c69a3eec0dc82a9c29
# Parent  913d7c132ab629bd0d4911108dc53b3b9063b59c
Update on save key

diff -r 913d7c132ab6 -r 22673a6cfcfb js/core.js
--- a/js/core.js	Mon Oct 24 11:07:45 2016 +0100
+++ b/js/core.js	Mon Oct 24 11:10:42 2016 +0100
@@ -3139,6 +3139,7 @@
                     this.key = xml.getAllElementsByTagName("key")[0].textContent;
                     this.parent.root.setAttribute("key", this.key);
                     this.parent.root.setAttribute("state", "empty");
+                    this.update();
                     return;
                 } else if (xml.getElementsByTagName("state")[0].textContent == "ERROR") {
                     this.key = null;