summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-12-25 18:28:36 +0100
committerstuebinm2021-12-25 18:28:36 +0100
commit1b243c0a51ad603ff39dbe889751ded8888f0daf (patch)
tree2209e509ceaf76bd1ab50f50a6f70ef7d6c8fff2
parentaf99eac212c96111179209098281224fab5f4f63 (diff)
add lint if people set tilesetCopyright on tiles
-rw-r--r--lib/Properties.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index aafe61c..04cc26f 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -209,6 +209,8 @@ checkTileset = do
"collides" -> isBool p
-- named tiles are needed for scripting and do not hurt otherwise
"name" -> isString p
+ "tilesetCopyright" -> warn "the \"tilesetCopyright\" property should be set on the entire tileset, \
+ \not an individual tile."
_ -> warnUnknown' ("unknown tile property "
<> prettyprint name <> " in tile with global id "
<> showText (tileId tile)) p knownTilesetProperties