diff options
| author | stuebinm | 2021-10-17 21:27:50 +0200 |
|---|---|---|
| committer | stuebinm | 2021-10-30 15:44:25 +0200 |
| commit | a74cc87b085fa15213f8901f091db2631fee10db (patch) | |
| tree | 333d8eb8d85e3e65d5410824fdc2a54f33e99957 /lib/Tiled2.hs | |
| parent | 216c2b6cfcef0038823f45c2bc43d297dcff43be (diff) | |
add tileset property linting
this reorganised the whole linting for tilesets somewhat; it's now very
similar to that linting layers, and it may be possible to abstract some
of the code away ...
Diffstat (limited to '')
| -rw-r--r-- | lib/Tiled2.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Tiled2.hs b/lib/Tiled2.hs index 724be1d..3fc8c31 100644 --- a/lib/Tiled2.hs +++ b/lib/Tiled2.hs @@ -309,7 +309,7 @@ data Tileset = Tileset { tilesetFirstgid :: GlobalId -- ^ Width of source image in pixels , tilesetImageheight :: Int -- ^ Height of source image in pixels - , tilesetProperties :: Map Text Text + , tilesetProperties :: [Property] -- ^ String key-value pairs , tilesetPropertytypes :: Map Text Text -- ^ String key-value pairs |