diff options
author | stuebinm | 2021-12-25 18:28:36 +0100 |
---|---|---|
committer | stuebinm | 2021-12-25 18:28:36 +0100 |
commit | 1b243c0a51ad603ff39dbe889751ded8888f0daf (patch) | |
tree | 2209e509ceaf76bd1ab50f50a6f70ef7d6c8fff2 /lib | |
parent | af99eac212c96111179209098281224fab5f4f63 (diff) |
add lint if people set tilesetCopyright on tiles
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Properties.hs | 2 |
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 |