diff options
author | stuebinm | 2021-12-16 03:29:22 +0100 |
---|---|---|
committer | stuebinm | 2021-12-16 03:29:22 +0100 |
commit | 1144f4b4aa4dbe9522a64aaec0f8488c5f2c62e3 (patch) | |
tree | 59ddece5f1538ca06c054afe9b9fc8fd8342fa86 | |
parent | 502266b2d24e3cda2e5f2d0d98483b914f3c53ad (diff) |
"collides" can't be set on layers
-rw-r--r-- | lib/Properties.hs | 8 |
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 |