# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1458567991 0
# Node ID 96a830d58da7bf091379ed633352a19098d213b7
# Parent  51ac572fb0becfd036522d7722811ce571f43ac6
Fix for bugs #1671 and #1672

diff -r 51ac572fb0be -r 96a830d58da7 core.css
--- a/core.css	Sun Mar 20 11:01:26 2016 +0100
+++ b/core.css	Mon Mar 21 13:46:31 2016 +0000
@@ -47,7 +47,7 @@
 
 div#popupContent {
     margin-top: 20px;
-    margin-bottom: 5px;
+    margin-bottom: 35px;
 }
 
 div#popupTitle {
diff -r 51ac572fb0be -r 96a830d58da7 core.js
--- a/core.js	Sun Mar 20 11:01:26 2016 +0100
+++ b/core.js	Mon Mar 21 13:46:31 2016 +0000
@@ -365,6 +365,8 @@
 }
 
 function createProjectSave(destURL) {
+    // Clear the window.onbeforeunload
+    window.onbeforeunload = null;
 	// Save the data from interface into XML and send to destURL
 	// If destURL is null then download XML in client
 	// Now time to render file locally