Remove web editor

javalikescript · Apr 16, 2022 · e989e55 · e989e55
1 parent e38bbdc
commit e989e55
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 32 deletions.
diff --git a/extensions/web-base/www/app.html b/extensions/web-base/www/app.html
@@ -375,8 +375,6 @@ <h1>{{ title }}</h1>
 <script src="static/blockly/javascript_compressed.js"></script>
 <script src="static/blockly/lua_compressed.js"></script>
 <script src="static/blockly/msg/js/en.js"></script>
-<!-- ace for web-editor extension -->
-<script src="static/ace/ace.js" type="text/javascript"></script>
 <!-- boot web base app -->
 <script src="app/app.js" type="text/javascript" charset="utf-8"></script>
 <script src="app/json.js" type="text/javascript" charset="utf-8"></script>

diff --git a/extensions/web-editor/manifest.json b/extensions/web-editor/manifest.json
diff --git a/extensions/web-editor/web-editor.js b/extensions/web-editor/web-editor.js