Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
W
walint
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package registry
Container registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
This is an archived project. Repository and other project resources are read-only.
Show more breadcrumbs
hub
walint
Commits
5060f68b9728bf94818ee985c16c25511f248143
Select Git revision
Branches
7
main
default
protected
75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
test-pipe
extended-scripts
structured-badges
guix-pipeline
cabal-pipeline
7 results
walint
lib
Properties.hs
Author
Search by author
Any Author
authors
andi
andi
ckrn
ckrn-xxqh4
cubicroot
cubicroot
drscream
drscream
grollicus
grollicus
HeJ
hej
Katti
katti
knuth
knuth
leonat
leonat
pixtur
pixtur
Rehlein
rehlein
Roang
roang
stuebinm
stuebinm
wall-e
wall-e
weeman
weeman
15 authors
Dec 19, 2021
disallow extended API variables in links
· 5060f68b
stuebinm
authored
3 years ago
5060f68b
Dec 18, 2021
fixed parsing of tiled objects
· aa897bb7
stuebinm
authored
3 years ago
aa897bb7
quick badge bugfix
· 96a3cc24
stuebinm
authored
3 years ago
96a3cc24
badges are set on objects, not layers
· 8082e9ef
stuebinm
authored
3 years ago
8082e9ef
remove mapImage property
· 766f883e
stuebinm
authored
3 years ago
766f883e
fix some weird lints
· f62af2a1
stuebinm
authored
3 years ago
f62af2a1
Dec 16, 2021
special handling of world:// and assembly names
· a318f848
stuebinm
authored
3 years ago
a318f848
fixed & removed a bunch of old TODOs
· 9e5ecf2b
stuebinm
authored
3 years ago
9e5ecf2b
"collides" can't be set on layers
· 1144f4b4
stuebinm
authored
3 years ago
1144f4b4
lint if tileset properties are set on the map instead
· 41d5441c
stuebinm
authored
3 years ago
41d5441c
Dec 15, 2021
we don't support ellipses
· f74bb6eb
stuebinm
authored
3 years ago
f74bb6eb
suggest setting map meta properties if not given
· c89872d3
stuebinm
authored
3 years ago
c89872d3
Dec 14, 2021
deal with group layer in existence checks properly
· 417087b1
stuebinm
authored
3 years ago
417087b1
allow scripts from
https://static.rc3.world/scripts
· 515dae1c
stuebinm
authored
3 years ago
515dae1c
Dec 13, 2021
downgrade disallowed path-related lint levels
· 668daf92
stuebinm
authored
3 years ago
668daf92
audioVolumne is of type float, not int
· 34488ce5
stuebinm
authored
3 years ago
34488ce5
startLayer can actually be set to `false`
· eeb78b3f
stuebinm
authored
3 years ago
eeb78b3f
refuse doubled map properties
· 8548481f
stuebinm
authored
3 years ago
8548481f
complain if map links that don't go to .json files
· 204d3f4a
stuebinm
authored
3 years ago
204d3f4a
add special warning for rc3 old-style links
· ea6ef983
stuebinm
authored
3 years ago
ea6ef983
changes to tiled map format
· b8e3d6ee
stuebinm
authored
3 years ago
b8e3d6ee
Dec 12, 2021
downgrad mapCopyright lint to suggestion
· de1b45be
stuebinm
authored
3 years ago
de1b45be
better lints for invalid links
· 0dbe4489
stuebinm
authored
3 years ago
0dbe4489
lints for names that are used more than twice
· 6a67d3e4
stuebinm
authored
3 years ago
6a67d3e4
handle text objects in objectgroup layers
· bbde46e7
stuebinm
authored
3 years ago
bbde46e7
lint individual tile properties
· aa1e5ae5
stuebinm
authored
3 years ago
aa1e5ae5
Dec 07, 2021
rudimentary linting for overlapping layers
· ec9552b1
stuebinm
authored
3 years ago
ec9552b1
fix mapCopyright lint
· 17a55dc7
stuebinm
authored
3 years ago
17a55dc7
properties: copyright → tilesetCopyright
· 1cbbc7e5
stuebinm
authored
3 years ago
1cbbc7e5
require mapCopyright to be set
· e2d62772
stuebinm
authored
3 years ago
e2d62772
Dec 04, 2021
lots of code reorganising and some deduplication
· 6cfdefc3
stuebinm
authored
3 years ago
6cfdefc3
refuse doubled names
· c61f8b2a
stuebinm
authored
3 years ago
c61f8b2a
Dec 02, 2021
collect badges from object layers
· 7d8c66b4
stuebinm
authored
3 years ago
7d8c66b4
do (naïve) html escaping
· c2a49d6e
stuebinm
authored
3 years ago
c2a49d6e
Nov 29, 2021
prepend jitsi room names with assembly tag
· 7033597e
stuebinm
authored
3 years ago
7033597e
jitsiRoomAdminTag: prepend "assembly-" before name
· 46b45915
stuebinm
authored
3 years ago
46b45915
allow unknown properties
· f1c6de8f
stuebinm
authored
3 years ago
f1c6de8f
rudimentary emulation of bbbRoom etc.
· 72d66169
stuebinm
authored
3 years ago
72d66169
Nov 28, 2021
various fixes to bugs
· efb64e02
stuebinm
authored
3 years ago
efb64e02
Nov 20, 2021
make link adjustments configurable
· 2511c52d
stuebinm
authored
3 years ago
2511c52d
Loading
