Skip to content
GitLab
Explore
Projects
Groups
Snippets
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eric Duminil
RegionChooser
Commits
c356313c
Commit
c356313c
authored
2 years ago
by
Eric Duminil
Browse files
Options
Download
Email Patches
Plain Diff
Less negative space
parent
8d3aef30
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
+2
-3
...stadt/regionchooser/website/script/simstadt_openlayers.js
with
2 additions
and
3 deletions
+2
-3
src/main/resources/eu/simstadt/regionchooser/website/script/simstadt_openlayers.js
+
2
-
3
View file @
c356313c
...
...
@@ -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
();
}
...
...
This diff is collapsed.
Click to expand it.
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment
Menu
Explore
Projects
Groups
Snippets