Tasia 4f869252a2 codemirror: add build script, edit build settings ...

Disabled `highlightWhitespace()` and `highlightTrailingWhitespace()`, could be reverted if necessary

2024-02-19 15:15:41 +01:00

..

editor.mjs

codemirror: add build script, edit build settings

2024-02-19 15:15:41 +01:00

package-lock.json

codemirror: add build script, edit build settings

2024-02-19 15:15:41 +01:00

package.json

codemirror: add build script, edit build settings

2024-02-19 15:15:41 +01:00

rollup.config.mjs

CodeMirror 6.

2024-01-13 17:40:47 +00:00

theme-tf-dark.js

Make the editor theme background a bit darker.

2024-01-15 01:56:43 +00:00