From a74cc87b085fa15213f8901f091db2631fee10db Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 17 Oct 2021 21:27:50 +0200
Subject: 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 ...
---
 lib/Tiled2.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Tiled2.hs')

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