Tom Moor
|
f79cba9b55
|
fix: Newlines added around pasted text content, closes #5236
|
2023-04-22 10:13:43 -04:00 |
|
Tom Moor
|
aa04a5e6f4
|
fix: Avoid label rendering bug in Mermaid, closes #5196
|
2023-04-15 10:25:22 -04:00 |
|
Tom Moor
|
49d903d6d4
|
chore: Remove console.log left in code and added eslint rule to prevent it happening again
|
2023-04-11 22:15:52 -04:00 |
|
Tom Moor
|
60dbad765a
|
chore: Cleanup editor menu handlers (#5174
* wip
* wip
* refactor
|
2023-04-10 15:50:21 -07:00 |
|
Tom Moor
|
75aea90972
|
chore: Editor 'plugin' -> 'extension'
They've always been called extensions, not sure why the folder was plugins. Part of ongoing spring cleaning
|
2023-04-09 17:27:09 -04:00 |
|