Extended scripts support (!1) · Merge requests · hub / walint

Merged StarPeak requested to merge starpeak/walint:extended-scripts into main 3 years ago

Dec 22, 2021
- Fixed types of extended scripts properties · c82e15ae
  Sven G. Brönstrup authored 3 years ago
  
  c82e15ae
- shorten Properties.hs · f3d0f937
  stuebinm authored 3 years ago
  
  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)
  f3d0f937
- add zoom function for LintWriter · e2767b3b
  stuebinm authored 3 years ago
  
  e2767b3b
Dec 21, 2021
- Did some of the desired changes · 2ffe0630
  Sven G. Brönstrup authored 3 years ago
  
  2ffe0630
- Merge branch 'main' into extended-scripts · c0685792
  Sven G. Brönstrup authored 3 years ago
  
  c0685792
Dec 20, 2021
- Resolved merge conflict · 7709a445
  Sven G. Brönstrup authored 3 years ago
  
  7709a445
- Merge branch 'main' into extended-scripts · 61901841
  Sven G. Brönstrup authored 3 years ago
  
  61901841
Dec 19, 2021
- Added extended script action zone properties · 76073dd2
  Sven G. Brönstrup authored 3 years ago
  
  76073dd2
- Merge branch 'main' into extended-scripts · 7e65bc46
  Sven G. Brönstrup authored 3 years ago
  
  7e65bc46
- Wrap urls for inline iframes · 8f5af049
  Sven G. Brönstrup authored 3 years ago
  
  8f5af049
- Added bell properties · 864235b3
  Sven G. Brönstrup authored 3 years ago
  
  864235b3
- Only suggert door properties on variables · 9bc7b9bd
  Sven G. Brönstrup authored 3 years ago
  
  9bc7b9bd
- Lint door stuff · 22ff0a5b
  Sven G. Brönstrup authored 3 years ago
  
  22ff0a5b

Extended scripts support

Merge request reports

Activity