| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- <!DOCTYPE html>
- <html lang="en">
- <head>
- <meta charset="UTF-8">
- <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
- <title>Editor</title>
- <style type="text/css" media="screen">
- body {
- overflow: hidden;
- }
- #editor {
- margin: 0;
- position: absolute;
- top: 0;
- bottom: 0;
- left: 0;
- right: 0;
- }
- </style>
- </head>
- <body>
- <pre id="editor"></pre>
- <script src="./source/ace/ace.js" type="text/javascript" charset="utf-8"></script>
- <script src="./source/ace/ext-language_tools.js"></script>
- <script>
- var editor;
- function codeLoaded(value) {
- document.getElementsByTagName('pre')[0].innerHTML = value;
- editor = ace.edit("editor");
- editor.setOptions({
- enableBasicAutocompletion: true,
- enableSnippets: true,
- enableLiveAutocompletion: true
- });
- editor.setTheme("ace/theme/monokai");
- editor.session.setMode("ace/mode/typescript");
- editor.getSession().on('change', function(e) {
- window.atomicQuery({request: 'change',
- persistent: false,
- onSuccess: function(response) { },
- onFailure: function(error_code, error_message) {console.log("Error on change")}});
- });
- }
- function loadCode(codeUrl)
- {
- var xmlHttp = new XMLHttpRequest();
- xmlHttp.onreadystatechange = function() {
- if (xmlHttp.readyState == 4 && xmlHttp.status == 200)
- codeLoaded(xmlHttp.responseText);
- }
- xmlHttp.open("GET", codeUrl, true); // true for asynchronous
- xmlHttp.send(null);
- }
- </script>
- </body>
- </html>
|