added autorefresh

SQUASHED: AUTO-COMMIT-src-components-widgets-lively-code-mirror.js,
LivelyKernel · Jun 18, 2024 · 2ca027c · 2ca027c
1 parent 5e0664a
commit 2ca027c
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/src/components/widgets/lively-code-mirror.js b/src/components/widgets/lively-code-mirror.js
@@ -131,12 +131,10 @@ export default class LivelyCodeMirror extends HTMLElement {
       await this.loadModule("addon/scroll/annotatescrollbar.js");
       await this.loadModule("addon/comment/comment.js");
       await this.loadModule("addon/dialog/dialog.js");
-      await this.loadModule("addon/scroll/simplescrollbars.js"
-
-      //await System.import("https://raw.githubusercontent.com/jshint/jshint/master/dist/jshint.js");
-      //await lively.loadJavaScriptThroughDOM("jshintAjax", "https://ajax.aspnetcdn.com/ajax/jshint/r07/jshint.js");
-      //await lively.loadJavaScriptThroughDOM("eslint", "http://eslint.org/js/app/eslint.js");
-      );await this.loadModule("addon/lint/lint.js");
+      await this.loadModule("addon/scroll/simplescrollbars.js");
+      await this.loadModule("addon/display/autorefresh.js");
+
+      await this.loadModule("addon/lint/lint.js");
       await this.loadModule("addon/lint/javascript-lint.js");
       await this.loadModule("addon/lint/html-lint.js");
 
@@ -662,6 +660,9 @@ export default class LivelyCodeMirror extends HTMLElement {
     editor.setOption("autoCloseTags", true);
     editor.setOption("scrollbarStyle", "simple");
     editor.setOption("scrollbarStyle", "simple");
+
+    editor.setOption("autoRefresh",  {delay: 10 });
+
 
     editor.setOption("tabSize", indentationWidth());
     editor.setOption("indentWithTabs", false);