summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-12-25 03:01:26 +0100
committerstuebinm2021-12-25 03:01:26 +0100
commite63907715ef788b256e0a6cedbda31648b0a71c2 (patch)
tree1e7038018f51a0cd7d0bd4d016168edb8d5754e1
parent4950d28432b0ae49c3d03bfddca4040c42d8ee72 (diff)
hint if people set collides on tilesets
-rw-r--r--lib/Properties.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index b2d4974..51fa567 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -197,7 +197,8 @@ checkTileset = do
checkTilesetProperty :: Property -> LintWriter Tileset
checkTilesetProperty p@(Property name _value) = case name of
"tilesetCopyright" -> naiveEscapeProperty p
- _ -> warn $ "unknown tileset property " <> prettyprint name
+ "collides" -> warn "property \"collides\" should be set on individual tiles, not the tileset"
+ _ -> warn $ "unknown tileset property " <> prettyprint name
checkTile :: Tile -> LintWriter Tileset
checkTile tile = do