fix: restore index.html

bsorrentino · Sep 1, 2023 · f818cc9 · f818cc9
1 parent 0cece77
commit f818cc9
Showing 1 changed file with 48 additions and 0 deletions.
diff --git a/PlantUMLEditor/Sources/CodeViewer/Resources/ace.bundle/index.html b/PlantUMLEditor/Sources/CodeViewer/Resources/ace.bundle/index.html
@@ -0,0 +1,48 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+<title>ACE in Action</title>
+<style type="text/css" media="screen">
+    #editor {
+        position: absolute;
+        top: 0;
+        right: 0;
+        bottom: 0;
+        left: 0;
+    }
+</style>
+</head>
+<body>
+
+<div id="editor">
+</div>
+
+<script src="./ace.js" type="text/javascript" charset="utf-8"></script>
+<script src="./ext-language_tools.js"></script>
+<script src="./ext-emmet.js"></script>
+
+<script>
+    var editor = ace.edit("editor");
+    editor.setShowPrintMargin(false);
+
+    editor.session.on('change', function(delta) {
+        let message = editor.getValue();
+        window.webkit.messageHandlers.aceEditorDidChanged.postMessage(message);
+    });
+
+    ace.require("ace/ext/language_tools");
+    editor.setOptions({
+        enableSnippets: true,
+        enableBasicAutocompletion: true,
+        enableLiveAutocompletion: true,
+        enableEmmet: true,
+        useWorker: false,
+        theme: "ace/theme/idle_fingers",
+        showPrintMargin: false,
+        showFoldWidgets: false
+    });
+
+    window.webkit.messageHandlers.aceEditorDidReady.postMessage(null); // Need at lead 1 arg
+</script>
+</body>
+</html>