Update index.js

janfaracik · Aug 19, 2023 · cd42f5e · cd42f5e
1 parent bf02822
commit cd42f5e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/war/src/main/js/components/textarea/index.js b/war/src/main/js/components/textarea/index.js
@@ -17,6 +17,7 @@ function init() {
 
 async function generateEditorFromTextarea(textarea) {
   const textareaLanguage = textarea.dataset.codeLanguage;
+  // const textareaOptions = textarea.dataset.codeOptions;
   const language = languages.find((e) => e.alias.includes(textareaLanguage));
   const loadedLanguage = await language.load();
 
@@ -26,13 +27,21 @@ async function generateEditorFromTextarea(textarea) {
       extensions: [basicSetup, loadedLanguage.language, codeEditorTheme],
     }),
   });
+
   textarea.parentNode.insertBefore(view.dom, textarea);
   textarea.style.display = "none";
   if (textarea.form) {
     textarea.form.addEventListener("submit", () => {
       textarea.value = view.state.doc.toString();
     });
   }
+
+  // create an Observer instance
+  const resizeObserver = new ResizeObserver((entries) => {
+    view.requestMeasure();
+  });
+  resizeObserver.observe(view.dom);
+
   return view;
 }