Don't make TextEditor instances render synchronously…

…because we don't need it for our use case. Helps performance.
This commit is contained in:
Andrew Dupont 2024-04-21 19:48:53 -07:00
parent 18e0da8baa
commit b46a7e8e86

View File

@ -322,7 +322,6 @@ function highlightCodeBlocks(element, grammar, cache, editorCallback) {
if (!editor) {
editor = new TextEditor({ keyboardInputEnabled: false })
editorElement = editor.getElement()
editorElement.setUpdatedSynchronously(true)
editor.setReadOnly(true)
cache?.addEditor(preElement, editor)
} else {