Use simplified polygon of Austria for map selection.
authorPhilipp Spitzer <philipp@spitzer.priv.at>
Thu, 7 Jan 2021 19:46:33 +0000 (20:46 +0100)
committerPhilipp Spitzer <philipp@spitzer.priv.at>
Thu, 7 Jan 2021 19:46:33 +0000 (20:46 +0100)
wrmap.js

index 56258c543570ba3aedf19ca2b463429d0f474dc5..3731ce8c5847ea193290605fe6b124badc5155da 100644 (file)
--- a/wrmap.js
+++ b/wrmap.js
@@ -261,8 +261,16 @@ function init_wrmap(i, jq_map) {
        // background layer
        // ----------------
        function get_austria_feature() {
-               // the following polygon is too coarse to be useful but still nice for debugging
-               let austria_wkt = 'Polygon((16.97 48.12, 16.90 47.71, 16.34 47.71, 16.53 47.49, 16.20 46.85, 16.01 46.68, 15.13 46.65, 14.63 46.43, 13.80 46.50, 12.37 46.76, 12.15 47.11, 11.16 46.94, 11.04 46.75, 10.44 46.89, 9.93 46.92, 9.47 47.10, 9.63 47.34, 9.59 47.52, 9.89 47.58, 10.40 47.30, 10.54 47.56, 11.42 47.52, 12.14 47.70, 12.62 47.67, 12.93 47.46, 13.02 47.63, 12.88 48.28, 13.24 48.41, 13.59 48.87, 14.33 48.55, 14.90 48.96, 15.25 49.03, 16.02 48.73, 16.49 48.78, 16.96 48.59, 16.87 48.47, 16.97 48.12))';
+               // simplified "inner" polygon of Austria, created with tools/austria_simplified.py
+               let austria_wkt = 'POLYGON ((9.599 47.269, 9.767 47.523, 9.986 47.442, 10.192 47.234, 10.366 47.287, 10.488 47.497, ' +
+                       '10.814 47.477, 11.052 47.349, 11.732 47.539, 12.211 47.578, 12.269 47.656, 12.474 47.593, 12.676 47.622, ' +
+                       '12.839 47.471, 13.039 47.436, 13.120 47.661, 12.989 47.754, 13.019 47.900, 12.864 48.130, 13.419 48.328, ' +
+                       '13.516 48.523, 13.769 48.509, 13.867 48.699, 14.173 48.535, 14.726 48.561, 14.851 48.728, 14.983 48.751, ' +
+                       '15.036 48.954, 15.803 48.820, 16.041 48.711, 16.374 48.694, 16.496 48.754, 16.831 48.668, 16.800 48.376, ' +
+                       '17.050 48.001, 16.985 47.742, 16.583 47.795, 16.363 47.696, 16.605 47.538, 16.379 47.412, 16.402 47.043, ' +
+                       '15.994 46.879, 15.914 46.732, 14.874 46.649, 14.538 46.455, 12.501 46.715, 12.213 46.957, 12.267 47.065, ' +
+                       '12.181 47.126, 11.762 47.031, 11.220 47.018, 10.925 46.815, 10.520 46.900, 10.359 47.029, 10.134 46.899, ' +
+                       '9.674 47.095, 9.599 47.269))';
                let format = new ol.format.WKT();
                let feature = format.readFeature(austria_wkt, {
                        dataProjection: EPSG4326,