From 1a62cc97e213840942505344e52304d355238370 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A9sz=C3=A1ros=20Gergely?=
Date: Wed, 23 Mar 2022 22:27:30 +0100
Subject: [PATCH] Update submap gui
---
index.html | 43 +++++++++++++++++++++++++------------------
modules/ui/submap.js | 12 +++++++-----
2 files changed, 32 insertions(+), 23 deletions(-)
diff --git a/index.html b/index.html
index 4d289b64..4f3fdcb5 100644
--- a/index.html
+++ b/index.html
@@ -3667,34 +3667,41 @@
be automatically updated according to the current scale factor. If you'd like
to generate a new parent-map, don't forget to reset them! Options are interpreted as usual.