index
:
walint
main
playground
structured-badges
A linter for workadventure maps
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Properties.hs
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2021-12-23
openTab's semantics are the same as openWebsite's
stuebinm
1
-9
/
+6
2021-12-23
add suggestions for misspelled properties
stuebinm
1
-37
/
+77
2021-12-23
disallow properties with different capitalisations
stuebinm
1
-10
/
+7
2021-12-22
Fixed types of extended scripts properties
Sven G. Brönstrup
1
-3
/
+8
2021-12-22
shorten Properties.hs
stuebinm
1
-152
/
+76
2021-12-21
Did some of the desired changes
Sven G. Brönstrup
1
-7
/
+10
2021-12-21
check that bbbRoom contains a valid assembly_slug
stuebinm
1
-7
/
+12
2021-12-21
correct bbb link substitution
stuebinm
1
-10
/
+11
2021-12-20
generalise unwrapURI a bit
stuebinm
1
-4
/
+19
2021-12-20
something something encoding mismatch
stuebinm
1
-1
/
+1
2021-12-20
Resolved merge conflict
Sven G. Brönstrup
1
-5
/
+1
2021-12-20
Added extended script action zone properties
Sven G. Brönstrup
1
-0
/
+11
2021-12-20
forbid opening local html files in iframes
stuebinm
1
-2
/
+4
2021-12-20
disallow extended API variables in links
stuebinm
1
-0
/
+2
2021-12-19
Wrap urls for inline iframes
Sven G. Brönstrup
1
-0
/
+3
2021-12-19
Added bell properties
Sven G. Brönstrup
1
-4
/
+36
2021-12-19
Only suggert door properties on variables
Sven G. Brönstrup
1
-15
/
+15
2021-12-19
Lint door stuff
Sven G. Brönstrup
1
-1
/
+87
2021-12-18
fixed parsing of tiled objects
stuebinm
1
-8
/
+9
2021-12-18
quick badge bugfix
stuebinm
1
-1
/
+1
2021-12-18
badges are set on objects, not layers
stuebinm
1
-41
/
+44
2021-12-18
remove mapImage property
stuebinm
1
-3
/
+2
2021-12-18
fix some weird lints
stuebinm
1
-2
/
+1
2021-12-16
special handling of world:// and assembly names
stuebinm
1
-2
/
+7
2021-12-16
fixed & removed a bunch of old TODOs
stuebinm
1
-15
/
+30
2021-12-16
"collides" can't be set on layers
stuebinm
1
-4
/
+4
2021-12-16
lint if tileset properties are set on the map instead
stuebinm
1
-1
/
+5
2021-12-16
we don't support ellipses
stuebinm
1
-5
/
+4
2021-12-15
suggest setting map meta properties if not given
stuebinm
1
-0
/
+9
2021-12-14
deal with group layer in existence checks properly
stuebinm
1
-11
/
+20
2021-12-14
allow scripts from https://static.rc3.world/scripts
stuebinm
1
-15
/
+10
2021-12-14
downgrade disallowed path-related lint levels
stuebinm
1
-3
/
+3
2021-12-14
audioVolumne is of type float, not int
stuebinm
1
-4
/
+19
2021-12-14
startLayer can actually be set to `false`
stuebinm
1
-3
/
+2
2021-12-13
refuse doubled map properties
stuebinm
1
-1
/
+2
2021-12-13
complain if map links that don't go to .json files
stuebinm
1
-6
/
+14
2021-12-13
add special warning for rc3 old-style links
stuebinm
1
-2
/
+5
2021-12-13
changes to tiled map format
stuebinm
1
-1
/
+4
2021-12-12
downgrad mapCopyright lint to suggestion
stuebinm
1
-1
/
+1
2021-12-12
better lints for invalid links
stuebinm
1
-18
/
+15
2021-12-12
lints for names that are used more than twice
stuebinm
1
-7
/
+13
2021-12-12
handle text objects in objectgroup layers
stuebinm
1
-16
/
+21
2021-12-12
lint individual tile properties
stuebinm
1
-1
/
+15
2021-12-08
rudimentary linting for overlapping layers
stuebinm
1
-0
/
+17
2021-12-08
fix mapCopyright lint
stuebinm
1
-3
/
+3
2021-12-07
properties: copyright → tilesetCopyright
stuebinm
1
-2
/
+2
2021-12-07
require mapCopyright to be set
stuebinm
1
-0
/
+3
2021-12-04
lots of code reorganising and some deduplication
stuebinm
1
-92
/
+117
2021-12-04
refuse doubled names
stuebinm
1
-15
/
+33
2021-12-02
collect badges from object layers
stuebinm
1
-9
/
+57
[next]