From e98771539598f32e36a9addd7f2855450c90c8f0 Mon Sep 17 00:00:00 2001
From: xzxADIxzx <76255437+xzxADIxzx@users.noreply.github.com>
Date: Wed, 26 Feb 2025 23:03:18 +0300
Subject: [PATCH] add an agent for the map fragment

---
 src/java/schema/Main.java                     |  2 +-
 src/java/schema/ui/fragments/MapFragment.java | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/src/java/schema/Main.java b/src/java/schema/Main.java
index 07dcbff..edb792b 100644
--- a/src/java/schema/Main.java
+++ b/src/java/schema/Main.java
@@ -57,7 +57,7 @@ public void init() {
         loadfrag.build(scene.root);
 
         control.setInput(insys.getAgent());
-        // ui.minimapfrag=mapfrag.getAgent();
+        ui.minimapfrag=mapfrag.getAgent();
         ui.loadfrag = loadfrag.getAgent();
 
         log("=> [green]Running postinit hooks...");
diff --git a/src/java/schema/ui/fragments/MapFragment.java b/src/java/schema/ui/fragments/MapFragment.java
index ab6a814..361ed64 100644
--- a/src/java/schema/ui/fragments/MapFragment.java
+++ b/src/java/schema/ui/fragments/MapFragment.java
@@ -9,6 +9,7 @@
 import arc.util.*;
 import mindustry.gen.*;
 import mindustry.graphics.*;
+import mindustry.ui.fragments.*;
 import schema.ui.*;
 
 import static arc.Core.*;
@@ -120,4 +121,21 @@ public void draw() {
         Draw.reset();
         super.draw();
     }
+
+    // region agent
+
+    /** Returns the agent of this fragment. */
+    public Agent getAgent() { return new Agent(); }
+
+    /** Agent that redirects method calls from the original fragment to the new one. */
+    public class Agent extends MinimapFragment {
+
+        @Override
+        public boolean shown() { return true; } // there is a check in Control#update that should always fail
+
+        @Override
+        public void hide() { shown = false; } // planet dialog calls it
+    }
+
+    // endregion
 }