From aded71347f3c0108e93540e9ae7da17abbc7008b Mon Sep 17 00:00:00 2001
From: ckcz123 <ckcz123@126.com>
Date: Fri, 30 Oct 2020 19:34:33 +0800
Subject: [PATCH] set ratio to >=2; Fix midMenu

---
 _server/editor_mappanel.js | 2 +-
 libs/core.js               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/_server/editor_mappanel.js b/_server/editor_mappanel.js
index b8f05399..1292f398 100644
--- a/_server/editor_mappanel.js
+++ b/_server/editor_mappanel.js
@@ -157,7 +157,7 @@ editor_mappanel_wrapper = function (editor) {
      */
     editor.uifunctions.map_onmove = function (e) {
         editor.uivalues.lastMoveE=e;
-        if (!editor.uivalues.bigmap && !editor.isMobile) {
+        if (!editor.uivalues.bigmap && !editor.isMobile && editor.dom.midMenu.style.display == 'none') {
             var loc = editor.uifunctions.eToLoc(e);
             var pos = editor.uifunctions.locToPos(loc);
             _setMarksHightlight(Array.from(editor.dom.mapColMark.children[0].rows[0].cells), pos.x);
diff --git a/libs/core.js b/libs/core.js
index d562f634..e46960af 100644
--- a/libs/core.js
+++ b/libs/core.js
@@ -332,7 +332,7 @@ core.prototype._init_sys_flags = function () {
     if (core.values.floorChangeTime == null) core.values.floorChangeTime = 500;
     if (main.mode != 'editor') {
         core.domStyle.scale = core.getLocalStorage('scale', 1);
-        core.domStyle.ratio = window.devicePixelRatio || 1;
+        core.domStyle.ratio = Math.max(window.devicePixelRatio || 1, 2);
     }
 }