From efc73930dda3314740d61c28916a7f21924a538e Mon Sep 17 00:00:00 2001
From: romovs <romovs@gmail.com>
Date: Tue, 12 Feb 2019 23:12:18 +0300
Subject: [PATCH] Fix resource tooltip not disappearing after turning the
 resource viewer off

---
 src/haven/GameUI.java  | 1 +
 src/haven/MapView.java | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/haven/GameUI.java b/src/haven/GameUI.java
index 9870871e9c..60cc3476e5 100644
--- 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
index 1234ede59a..fd66f54b62 100644
--- 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;