summaryrefslogtreecommitdiff
path: root/lib/Properties.hs
diff options
context:
space:
mode:
authorstuebinm2021-12-16 03:29:22 +0100
committerstuebinm2021-12-16 03:29:22 +0100
commit1144f4b4aa4dbe9522a64aaec0f8488c5f2c62e3 (patch)
tree59ddece5f1538ca06c054afe9b9fc8fd8342fa86 /lib/Properties.hs
parent502266b2d24e3cda2e5f2d0d98483b914f3c53ad (diff)
"collides" can't be set on layers
Diffstat (limited to '')
-rw-r--r--lib/Properties.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 2992e2c..9c61aed 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -365,10 +365,10 @@ checkTileLayerProperty p@(Property name _value) = case name of
"silent" -> do
isBool p
uselessEmptyLayer
- "collides" ->
- unwrapBool p $ \case
- True -> pure ()
- False -> warn "property \"collides\" set to 'false' is useless."
+ -- "collides" ->
+ -- unwrapBool p $ \case
+ -- True -> pure ()
+ -- False -> warn "property \"collides\" set to 'false' is useless."
"getBadge" -> complain "\"getBadge\" must be set on an \"objectgroup\" \
\ layer; it does not work on tile layers."
"name" -> isUnsupported