summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (unfollow)
Commit message (Expand)AuthorFilesLines
2021-12-16lint if tileset properties are set on the map insteadstuebinm1-1/+5
2021-12-16we don't support ellipsesstuebinm1-5/+4
2021-12-15suggest setting map meta properties if not givenstuebinm1-0/+9
2021-12-14deal with group layer in existence checks properlystuebinm1-11/+20
2021-12-14allow scripts from https://static.rc3.world/scriptsstuebinm1-15/+10
2021-12-14downgrade disallowed path-related lint levelsstuebinm1-3/+3
2021-12-14audioVolumne is of type float, not intstuebinm1-4/+19
2021-12-14startLayer can actually be set to `false`stuebinm1-3/+2
2021-12-13refuse doubled map propertiesstuebinm1-1/+2
2021-12-13complain if map links that don't go to .json filesstuebinm1-6/+14
2021-12-13add special warning for rc3 old-style linksstuebinm1-2/+5
2021-12-13changes to tiled map formatstuebinm1-1/+4
2021-12-12downgrad mapCopyright lint to suggestionstuebinm1-1/+1
2021-12-12better lints for invalid linksstuebinm1-18/+15
2021-12-12lints for names that are used more than twicestuebinm1-7/+13
2021-12-12handle text objects in objectgroup layersstuebinm1-16/+21
2021-12-12lint individual tile propertiesstuebinm1-1/+15
2021-12-08rudimentary linting for overlapping layersstuebinm1-0/+17
2021-12-08fix mapCopyright lintstuebinm1-3/+3
2021-12-07properties: copyright → tilesetCopyrightstuebinm1-2/+2
2021-12-07require mapCopyright to be setstuebinm1-0/+3
2021-12-04lots of code reorganising and some deduplicationstuebinm1-92/+117
2021-12-04refuse doubled namesstuebinm1-15/+33
2021-12-02collect badges from object layersstuebinm1-9/+57
2021-12-02do (naïve) html escapingstuebinm1-6/+11
2021-11-30prepend jitsi room names with assembly tagstuebinm1-2/+7
2021-11-30jitsiRoomAdminTag: prepend "assembly-" before namestuebinm1-0/+2
2021-11-30allow unknown propertiesstuebinm1-11/+2
2021-11-30rudimentary emulation of bbbRoom etc.stuebinm1-4/+26
2021-11-28various fixes to bugsstuebinm1-34/+34
2021-11-20make link adjustments configurablestuebinm1-24/+35
2021-11-19add domain allow- and blocklists for weblinksstuebinm1-4/+14
2021-11-19add lint for empty group layersstuebinm1-0/+7
2021-11-19deal with group layersstuebinm1-5/+0
2021-11-18assorted lints for properties found in some mapsstuebinm1-17/+56
2021-11-17add warnings for as-yet unlinted layer propertiesstuebinm1-0/+9
2021-11-17make map parser work with more mapsstuebinm1-2/+14
2021-11-16reject map urls starting with /_/stuebinm1-3/+6
2021-11-16add adjustment: add prefix for openWebsitestuebinm1-2/+5
2021-11-14config options: implement script-related optionsstuebinm1-2/+13
2021-11-14Functional jitsiRoomAdminTag adjustmentstuebinm1-6/+11
2021-11-10little code cleanupstuebinm1-1/+1
2021-11-09first example of a map adjustmentstuebinm1-10/+21
2021-11-02monad plumbing to let the linter modify thingsstuebinm1-1/+1
2021-10-30better lint messagesstuebinm1-10/+10
2021-10-30re-enable dependency checkingstuebinm1-2/+3
2021-10-30make aeson instances agree with themselvesstuebinm1-14/+7
2021-10-30more sensible msg for "property required by"-lintsstuebinm1-1/+8
2021-10-30add tileset property lintingstuebinm1-6/+23
2021-10-30add warning for very large tileset imagesstuebinm1-2/+3