From 1144f4b4aa4dbe9522a64aaec0f8488c5f2c62e3 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Thu, 16 Dec 2021 03:29:22 +0100
Subject: [PATCH] "collides" can't be set on layers
---
lib/Properties.hs | 8 ++++----
1 file 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
--
GitLab