diff options
| author | stuebinm | 2021-12-29 13:08:12 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-29 13:08:12 +0100 |
| commit | 0529ef9ef410a9a9d1313f83a03539970baff35d (patch) | |
| tree | a38bbc481cf81bd229cafbe707c83c990f27edd2 | |
| parent | 0419aa9918723c8b74252bf6ff1a2162c2f3a89a (diff) | |
collides isn't unknown on tiles
| -rw-r--r-- | lib/Properties.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs index e594751..b586c7e 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -492,7 +492,8 @@ checkTileThing removeExits p@(Property name _value) = case name of (dependsOn . Link) (const $ forbid "accessing local html files is disallowed.") | otherwise -> - warnUnknown p knownTileLayerProperites + when (not removeExits || name `notElem` [ "collides", "name", "tilesetCopyright" ]) $ do + warnUnknown p knownTileLayerProperites where requireProperty req = propertyRequiredBy req name requireOneOf names = do |