From 40f9f063605888050bd7fa6625bbf121539c4852 Mon Sep 17 00:00:00 2001
From: jj <john-git@ofjj.net>
Date: Fri, 12 Apr 2013 15:14:35 +0200
Subject: [PATCH] dig: ignore tile shape if hidden

---
 plugins/dig.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/dig.cpp b/plugins/dig.cpp
index ec9191549..bbfc15058 100644
--- a/plugins/dig.cpp
+++ b/plugins/dig.cpp
@@ -120,7 +120,7 @@ bool dig (MapExtras::MapCache & MCache,
     if(tileMaterial(tt) == tiletype_material::CONSTRUCTION && !des.bits.hidden)
         return false;
     df::tiletype_shape ts = tileShape(tt);
-    if (ts == tiletype_shape::EMPTY)
+    if (ts == tiletype_shape::EMPTY && !des.bits.hidden)
         return false;
     if(!des.bits.hidden)
     {