add ace editor

This commit is contained in:
Silver Kuusik
2018-08-05 10:53:42 +02:00
parent c5d90c4991
commit ddea91f431
29 changed files with 311 additions and 4 deletions

View File

@@ -10,10 +10,10 @@
<!-- favicon -->
<link rel="icon" type="image/png" sizes="32x32" href="assets/img/favicon-32x32.png">
<!-- cookie notification -->
<script src="assets/js/cookieconsent.min.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/min/cookieconsent.min.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/cookie.js" type="text/javascript" charset="utf-8"></script>
<!-- other -->
<script src="assets/js/jquery.min.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/min/jquery.min.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/utils.js" type="text/javascript" charset="utf-8"></script>
<!-- Google Blockly -->
<script src="assets/blockly/blockly_compressed.js" type="text/javascript" charset="utf-8"></script>
@@ -22,10 +22,11 @@
<script src="assets/blockly/msg/js/en.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/sumorobot.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/main.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/ace.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/blockly.js" type="text/javascript" charset="utf-8"></script>
<!-- ace editor -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.2.9/ace.js" type="text/javascript" charset="utf-8"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.2.9/ext-language_tools.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/ace/ace.js" type="text/javascript" charset="utf-8"></script>
<script src="assets/js/ace/ext-language_tools.js" type="text/javascript" charset="utf-8"></script>
</head>
<body>
<div id="battery">Disconnected</div>