enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-22 23:01:29 +03:00
Code Issues Projects Releases Wiki Activity

Disable EditContext API (#11554)

Browse Source 
Fixes #11239

https://github.com/user-attachments/assets/eb57fb34-11f4-489b-9849-c93c7aa5e870
This commit is contained in:
Ilya Bogdanov 2024-11-19 15:36:59 +04:00 committed by GitHub
parent 9a49a02e3f
commit c52b8f9455
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/gui/src/project-view/components/CodeEditor.vue
View File

@ -93,6 +93,8 @@ const expressionUpdatesDiagnostics = computed(() => {
// == CodeMirror editor setup ==
// Disable EditContext API because of https://github.com/codemirror/dev/issues/1458.
;(EditorView as any).EDIT_CONTEXT = false
const editorView = new EditorView()
const viewInitialized = ref(false)
watchEffect(() => {