# HG changeset patch # User Nicholas Jillings # Date 1458567991 0 # Node ID cd017e7f9190d13a5ca9f29f600ae629b8596ff8 # Parent 66f3212a1fb16c7129d57b64944e6fcc228f3b89 Fix for bugs #1671 and #1672 diff -r 66f3212a1fb1 -r cd017e7f9190 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 66f3212a1fb1 -r cd017e7f9190 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