From c356313c8b054622d1eac09f5ace1958f52821eb Mon Sep 17 00:00:00 2001
From: Eric Duminil <eric.duminil@gmail.com>
Date: Thu, 6 Oct 2022 13:52:38 +0200
Subject: [PATCH] Less negative space
---
.../regionchooser/website/script/simstadt_openlayers.js | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js b/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
index c214643..0e6a8b4 100644
--- a/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
+++ b/src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
@@ -247,9 +247,9 @@ var regionChooser = (function(){
var time = end - start;
console.log('Download Execution time: ' + (time / 1000).toFixed(3) + 's');
setTimeout(function() {
+ resetDrawing();
document.getElementById("download_region_button").disabled = false;
document.documentElement.className = ''; // Stop waiting
- resetDrawing();
}, 100);
} else {
var msg = "ERROR : Unknown coordinate system : \"" + srsName + "\". Cannot extract any region";
@@ -283,8 +283,7 @@ var regionChooser = (function(){
'<button type="button" onclick="regionChooser.downloadFromSelectedCityGMLs()" id="download_region_button" disabled>Download Region</button><br/>\n' +
'<a href="#" onclick="regionChooser.checkCityGMLS(true);">(Select All)</a>\n' +
'<a href="#" onclick="regionChooser.checkCityGMLS(false);">(Select None)</a>\n'+
- '</div><br/>\n');
- dataPanel.append('<br/>\n');
+ '</div>\n');
findIntersections();
}
--
GitLab