From 1b243c0a51ad603ff39dbe889751ded8888f0daf Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Sat, 25 Dec 2021 18:28:36 +0100
Subject: [PATCH] add lint if people set tilesetCopyright on tiles
---
lib/Properties.hs | 2 ++
1 file changed, 2 insertions(+)
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
--
GitLab