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-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
2021-12-02
do (naïve) html escaping
stuebinm
1
-6
/
+11
2021-11-30
prepend jitsi room names with assembly tag
stuebinm
1
-2
/
+7
2021-11-30
jitsiRoomAdminTag: prepend "assembly-" before name
stuebinm
1
-0
/
+2
2021-11-30
allow unknown properties
stuebinm
1
-11
/
+2
2021-11-30
rudimentary emulation of bbbRoom etc.
stuebinm
1
-4
/
+26
2021-11-28
various fixes to bugs
stuebinm
1
-34
/
+34
2021-11-20
make link adjustments configurable
stuebinm
1
-24
/
+35
[prev]
[next]