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-27
fix bbb url resolution
stuebinm
1
-1
/
+1
2021-12-27
type systems don't protect against off-by-one
stuebinm
1
-1
/
+1
2021-12-26
openWebsiteTriggerMessage can also be used for openTab
stuebinm
1
-2
/
+8
2021-12-26
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
Sven G. Brönstrup
1
-1
/
+1
2021-12-26
separate blocking for separate contexts
stuebinm
1
-3
/
+5
2021-12-26
change lint msg for property suggestions
stuebinm
1
-1
/
+1
2021-12-25
add lint if people set tilesetCopyright on tiles
stuebinm
1
-0
/
+2
2021-12-25
apply some hlint hints
stuebinm
1
-3
/
+3
2021-12-25
the lobby is allowed to contain defunct links
stuebinm
1
-12
/
+15
2021-12-25
hint if people set collides on tilesets
stuebinm
1
-1
/
+2
2021-12-25
better lint message
stuebinm
1
-1
/
+1
2021-12-24
persist, default aren't always booleans
stuebinm
1
-1
/
+0
2021-12-24
smaller changes
stuebinm
1
-1
/
+1
2021-12-24
allow openWebsiteAllowApi if website is on static.rc3.world
stuebinm
1
-2
/
+12
2021-12-24
allow shared (not just shared-) as prefix for shared jitsis
stuebinm
1
-1
/
+1
2021-12-23
extra lint for people confused by badges
stuebinm
1
-3
/
+4
2021-12-23
some people define tilesets without images???
stuebinm
1
-1
/
+3
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
[next]