diff options
author | stuebinm | 2021-12-07 20:41:48 +0100 |
---|---|---|
committer | stuebinm | 2021-12-07 20:42:18 +0100 |
commit | 1cbbc7e5bc37ddd2e1c9281a3db30ed7309d289f (patch) | |
tree | f8de8098aa7bd0ad89ec9a7fe4a833f92c6d9e65 | |
parent | e2d62772cc53cb1e0dd29b5c9a864755157c3025 (diff) |
properties: copyright → tilesetCopyright
-rw-r--r-- | lib/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs index 1d87311..a4465d4 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -117,8 +117,8 @@ checkTileset = do when (isJust (tilesetSource tileset)) $ complain "Tilesets must be embedded and cannot be loaded from external files." -- TODO: check copyright! - unlessHasProperty "copyright" - $ forbid "property \"copyright\" is required for tilesets." + unlessHasProperty "tiledCopyright" + $ forbid "property \"tiledCopyright\" for tilesets must be set." -- check individual tileset properties mapM_ checkTilesetProperty (fromMaybe [] $ tilesetProperties tileset) |