| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546 |
- <!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 src="./source/systemjs/system.js" type="text/javascript" charset="utf-8"></script>
- <script>
- System.config({
- "baseURL": "/",
- "defaultJSExtensions": true,
- // TODO: figure out how to make this be loaded in by the extension instead of being hard-coded in the html page
- meta: {
- './source/editorCore/modules/typescript.js': {
- format: 'global',
- exports: 'ts',
- }
- }
- });
- System.import('./source/editorCore/interop');
- </script>
- </body>
- </html>
|