Commit graph

8 commits

Author SHA1 Message Date
MickaelK
60b83e36a9 fix (linter): canary linter 2024-12-06 18:32:58 +11:00
MickaelK
f57ba94d71 fix (editor): php code highlight
without this, we'd run onto either non highlighting of the code and / or
this error:

type:    Error
message: Cannot read properties of undefined (reading 'prev')
trace:   TypeError: Cannot read properties of undefined (reading 'prev')
    at Object.dispatch [as token] (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/mode/php/php.js:187:32)
    at readToken (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:1183:24)
    at runMode (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:1240:36)
    at highlightLine (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:1086:5)
    at getLineStyles (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:1130:20)
    at buildLineContent (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:1771:40)
    at getLineContent (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:2161:12)
    at buildLineElement (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:2243:17)
    at patchDisplay (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:4264:20)
    at updateDisplayIfNeeded (http://localhost:8334/assets/g5b7268/lib/vendor/codemirror/lib/codemirror.js:4171:5)
2024-11-15 01:32:10 +11:00
MickaelK
d6613c4452 chore (maintenance): tsconfig setup 2024-08-14 08:33:02 +10:00
MickaelK
b9c06210e2 chore (rewrite): org mode docs migration 2024-08-08 21:48:58 +10:00
MickaelK
2f8b615e6e chore (cache): caching problems + bigfixes 2024-07-22 08:12:42 +10:00
MickaelK
d5b0abb2d9 fix (public): linter in frontend rewrite 2024-02-26 00:23:39 +11:00
MickaelK
80a28d88e7 chore (rewrite): editor highlight and unsaved nav block 2024-01-01 10:35:46 +11:00
MickaelK
58cf21d8e1 chore (migration): viewerpage editor and audio player 2023-12-30 02:14:12 +11:00