v0.3.1: grim and worn traps are now always visible

src/com/shatteredpixel/shatteredpixeldungeon/levels/traps/GrimTrap.java

@@ -44,6 +44,12 @@ public class GrimTrap extends Trap {
 		shape = TrapSprite.LARGE_DOT;
 	}
 
+	@Override
+	public Trap hide() {
+		//cannot hide this trap
+		return reveal();
+	}
+
 	@Override
 	public void activate() {
 		Char target = Actor.findChar(pos);

src/com/shatteredpixel/shatteredpixeldungeon/levels/traps/WornTrap.java

@@ -31,6 +31,12 @@ public class WornTrap extends Trap {
 		shape = TrapSprite.DOTS;
 	}
 
+	@Override
+	public Trap hide() {
+		//this one can't be hidden
+		return reveal();
+	}
+
 	@Override
 	public void activate() {
 		GLog.i("nothing happens..");