diff --git a/index.html b/index.html
index e94c3839..b4da0dd6 100644
--- a/index.html
+++ b/index.html
@@ -2414,11 +2414,11 @@
- :
-
+
+
-
:
+
diff --git a/modules/ui/markers-editor.js b/modules/ui/markers-editor.js
index a4686d89..c1ea19f6 100644
--- a/modules/ui/markers-editor.js
+++ b/modules/ui/markers-editor.js
@@ -203,7 +203,16 @@ function editMarker() {
function changeMarkerSize() {
const id = elSelected.attr("data-id");
- document.querySelectorAll("use[data-id='"+id+"']").forEach(e => e.dataset.size = markerSize.value);
+ document.querySelectorAll("use[data-id='"+id+"']").forEach(e => {
+ const x = +e.dataset.x, y = +e.dataset.y;
+ const desired = e.dataset.size = +markerSize.value;
+ const size = Math.max(desired * 5 + 25 / scale, 1);
+
+ e.setAttribute("x", x - size / 2);
+ e.setAttribute("y", y - size / 2);
+ e.setAttribute("width", size);
+ e.setAttribute("height", size);
+ });
invokeActiveZooming();
}