|
12c7515ee8
|
chore: revert changes to codemirror's config
|
2024-02-20 18:45:46 +01:00 |
|
|
ed65da4340
|
doc: typos
|
2024-02-19 19:26:15 +01:00 |
|
|
d9d2917cf5
|
chore: add folders to .gitignore
|
2024-02-19 19:16:05 +01:00 |
|
|
ce5ca1875b
|
doc: add JSDoc annotations in the core folder
start documenting a bit, mostly inconsequential changes
|
2024-02-19 19:12:42 +01:00 |
|
|
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 |
|