From 1b243c0a51ad603ff39dbe889751ded8888f0daf Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 25 Dec 2021 18:28:36 +0100
Subject: add lint if people set tilesetCopyright on tiles

---
 lib/Properties.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib')

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
-- 
cgit v1.2.3