upgrade mindustry version

Pointifix · Nov 22, 2022 · 7eaa3e5 · 7eaa3e5
1 parent 3eadd7e
commit 7eaa3e5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/build.gradle b/build.gradle
@@ -14,7 +14,7 @@ repositories{
 
 ext{
     //the build number that this mod is made for
-    mindustryVersion = 'v140'
+    mindustryVersion = 'v140.4'
     jabelVersion = "93fde537c7"
     sdkRoot = System.getenv("ANDROID_HOME") ?: System.getenv("ANDROID_SDK_ROOT")
 }

diff --git a/src/autodrill/AutoDrill.java b/src/autodrill/AutoDrill.java
@@ -122,8 +122,7 @@ public boolean keyDown(InputEvent event, KeyCode keyCode) {
                         !ui.schematics.isShown() &&
                         !ui.database.isShown() &&
                         !ui.consolefrag.shown() &&
-                        !ui.content.isShown() &&
-                        !ui.men) {
+                        !ui.content.isShown()) {
                     if (Core.settings.getString(bundle.get("auto-drill.settings.activation-key")).equalsIgnoreCase(keyCode.value)) {
                         enabled = !enabled;
                         selectTable.visible = false;