summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* allow shared (not just shared-) as prefix for shared jitsisstuebinm2021-12-241-1/+1
| | | | this might make things less confusing for some people
* extra lint for people confused by badgesstuebinm2021-12-231-3/+4
| | | | tbh I'm confused by them as well
* some people define tilesets without images???stuebinm2021-12-231-1/+3
|
* openTab's semantics are the same as openWebsite'sstuebinm2021-12-231-9/+6
| | | | (it's not a modifier for openWebsite, as I had previously though)
* add suggestions for misspelled propertiesstuebinm2021-12-231-37/+77
| | | | | (suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
* disallow properties with different capitalisationsstuebinm2021-12-231-10/+7
| | | | | since apparently sometimes workadventure is case-insensitive, and sometimes it's not
* Fixed types of extended scripts propertiesSven G. Brönstrup2021-12-221-3/+8
|
* shorten Properties.hsstuebinm2021-12-221-152/+76
| | | | | | | down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly)
* Did some of the desired changesSven G. Brönstrup2021-12-211-7/+10
|
* Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-211-15/+36
|\
| * check that bbbRoom contains a valid assembly_slugstuebinm2021-12-211-7/+12
| |
| * correct bbb link substitutionstuebinm2021-12-211-10/+11
| | | | | | | | | | (unfortunately this one's hardcoded, the config options just aren't general enough)
| * generalise unwrapURI a bitstuebinm2021-12-201-4/+19
| |
| * something something encoding mismatchstuebinm2021-12-201-1/+1
| |
* | Resolved merge conflictSven G. Brönstrup2021-12-201-5/+1
| |
* | Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-201-1/+4
|\|
| * forbid opening local html files in iframesstuebinm2021-12-201-2/+4
| |
* | Added extended script action zone propertiesSven G. Brönstrup2021-12-201-0/+11
| |
* | Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-201-0/+2
|\|
| * disallow extended API variables in linksstuebinm2021-12-201-0/+2
| |
* | Wrap urls for inline iframesSven G. Brönstrup2021-12-191-0/+3
| |
* | Added bell propertiesSven G. Brönstrup2021-12-191-4/+36
| |
* | Only suggert door properties on variablesSven G. Brönstrup2021-12-191-15/+15
| |
* | Lint door stuffSven G. Brönstrup2021-12-191-1/+87
|/
* fixed parsing of tiled objectsstuebinm2021-12-181-8/+9
| | | | (points behave slightly differntly than I thought)
* quick badge bugfixstuebinm2021-12-181-1/+1
| | | | | obviously, it should remove all objects defining badges, not those NOT defining badges …
* badges are set on objects, not layersstuebinm2021-12-181-41/+44
| | | | (and `url` is, too)
* remove mapImage propertystuebinm2021-12-181-3/+2
|
* fix some weird lintsstuebinm2021-12-181-2/+1
| | | | | (since we're starting to get maps that actually pass linting, we also get to find more bugs! yay!)
* special handling of world:// and assembly namesstuebinm2021-12-161-2/+7
| | | | | these now have their own top-level config attribute which is essentially a shorthand for setting one that's deeper nested.
* fixed & removed a bunch of old TODOsstuebinm2021-12-161-15/+30
|
* "collides" can't be set on layersstuebinm2021-12-161-4/+4
|
* lint if tileset properties are set on the map insteadstuebinm2021-12-161-1/+5
| | | | (this seems to be a common mistake so far)
* we don't support ellipsesstuebinm2021-12-161-5/+4
|
* suggest setting map meta properties if not givenstuebinm2021-12-151-0/+9
|
* deal with group layer in existence checks properlystuebinm2021-12-141-11/+20
| | | | | (before it would fail to find e.g. the start layer if it wasn't a top-level layer)
* allow scripts from https://static.rc3.world/scriptsstuebinm2021-12-141-15/+10
| | | | | The script inject doesn't do anything for now; guess I'll re-add that once we actually have a URI for that.
* downgrade disallowed path-related lint levelsstuebinm2021-12-141-3/+3
| | | | | (these were `error` before, which didn't really make sense, since workadventure can deal with them, they're just not allowed at rc3)
* audioVolumne is of type float, not intstuebinm2021-12-141-4/+19
| | | | also, float properties exist, apparently
* startLayer can actually be set to `false`stuebinm2021-12-141-3/+2
| | | | (in which case it just doesn't do anything at all)
* refuse doubled map propertiesstuebinm2021-12-131-1/+2
|
* complain if map links that don't go to .json filesstuebinm2021-12-131-6/+14
|
* add special warning for rc3 old-style linksstuebinm2021-12-131-2/+5
| | | | (the format used last year is no longer applicable to this year's event)
* changes to tiled map formatstuebinm2021-12-131-1/+4
| | | | (found by running through rc3 2021 map submissions and looking at what failed)
* downgrad mapCopyright lint to suggestionstuebinm2021-12-121-1/+1
| | | | | (as per today's discussion with tabascoeye, mapCopyright should not be required, though I've left it as recommended)
* better lints for invalid linksstuebinm2021-12-121-18/+15
|
* lints for names that are used more than twicestuebinm2021-12-121-7/+13
| | | | | (previously it would just lint "can't use name twice" multiple times, which looks kind of silly)
* handle text objects in objectgroup layersstuebinm2021-12-121-16/+21
|
* lint individual tile propertiesstuebinm2021-12-121-1/+15
|
* rudimentary linting for overlapping layersstuebinm2021-12-081-0/+17
|