Fix resource tooltip not disappearing after turning the resource view…

…er off
romovs · Feb 12, 2019 · efc7393 · efc7393
1 parent 2d93eee
commit efc7393
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/haven/GameUI.java b/src/haven/GameUI.java
@@ -1052,6 +1052,7 @@ public boolean globtype(char key, KeyEvent ev) {
         } else if (ev.isShiftDown() && ev.getKeyCode() == KeyEvent.VK_I) {
             Config.resinfo = !Config.resinfo;
             Utils.setprefb("resinfo", Config.resinfo);
+            map.tooltip = null;
             msg("Resource info on shift/shift+ctrl is now turned " + (Config.resinfo ? "on" : "off"), Color.WHITE);
             return true;
         } else if (ev.isShiftDown() && ev.getKeyCode() == KeyEvent.VK_B) {

diff --git a/src/haven/MapView.java b/src/haven/MapView.java
@@ -64,7 +64,7 @@ public class MapView extends PView implements DTarget, Console.Directory, PFList
     public double shake = 0.0;
     public static int plobgran = Utils.getprefi("placegridval", 8);
     private static final Map<String, Class<? extends Camera>> camtypes = new HashMap<String, Class<? extends Camera>>();
-    private String tooltip;
+    public String tooltip;
     private boolean showgrid;
     private TileOutline gridol;
     private Coord lasttc = Coord.z;