summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorstuebinm2021-12-23 23:23:38 +0100
committerstuebinm2021-12-23 23:25:01 +0100
commit921f49fa34b3f363757f53d05f640023c143a287 (patch)
tree2ba2265b05d250aa3a00a9b0432f400ee21905d1 /lib
parent1260829bd6cd513fa3f20467ced370480ac71842 (diff)
extra lint for people confused by badges
tbh I'm confused by them as well
Diffstat (limited to '')
-rw-r--r--lib/Properties.hs7
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index daedabc..7425a08 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -227,7 +227,6 @@ checkLayer = do
"group" -> pure ()
"objectgroup" -> do
-
-- check object properties
objs <- forM (layerObjects layer) $ mapM $ \object -> do
-- this is a confusing constant zoom ...
@@ -328,8 +327,10 @@ checkObjectProperty p@(Property name _) = do
-- | Checks a single (custom) property of an objectgroup layer
checkObjectGroupProperty :: Property -> LintWriter Layer
-checkObjectGroupProperty (Property name _) =
- warn $ "unknown property " <> prettyprint name <> " for objectgroup layers"
+checkObjectGroupProperty (Property name _) = case name of
+ "getBadge" -> warn $ "the property \"getBadge\" must be set on individual objects, \
+ \not the object layer."
+ _ -> warn $ "unknown property " <> prettyprint name <> " for objectgroup layers"
-- | Checks a single (custom) property of a "normal" tile layer