Make init more async

dodona-edu · Oct 27, 2023 · e1b00b0 · e1b00b0
1 parent fd8bfdf
commit e1b00b0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/app/assets/javascripts/editor.ts b/app/assets/javascripts/editor.ts
@@ -197,7 +197,6 @@ export async function configureEditor(parent: Element, programmingLanguage: stri
     const languageSupport = await loadProgrammingLanguage(programmingLanguage);
     const languageExtensions = [];
     if (languageSupport !== undefined) {
-        console.log(languageSupport);
         languageExtensions.push(languageSupport);
     }
     return new EditorView({

diff --git a/app/assets/javascripts/exercise.ts b/app/assets/javascripts/exercise.ts
@@ -145,10 +145,11 @@ async function initExerciseShow(exerciseId: number, programmingLanguage: string,
 
     async function init(): Promise<void> {
         if (editorShown) {
-            await initEditor();
+            const editorReady = initEditor();
             initDeadlineTimeout();
             enableSubmissionTableLinks();
             swapActionButtons();
+            await editorReady;
             initRestoreBoilerplateButton(boilerplate);
         }