add an agent for the map fragment

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...");

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
 }