Editor.html 1.0 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. <!DOCTYPE html>
  2. <html lang="en">
  3. <head>
  4. <meta charset="UTF-8">
  5. <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
  6. <title>Editor</title>
  7. <style type="text/css" media="screen">
  8. body {
  9. overflow: hidden;
  10. }
  11. #editor {
  12. margin: 0;
  13. position: absolute;
  14. top: 0;
  15. bottom: 0;
  16. left: 0;
  17. right: 0;
  18. }
  19. </style>
  20. </head>
  21. <body>
  22. <pre id="editor"></pre>
  23. <script src="./source/ace/ace.js" type="text/javascript" charset="utf-8"></script>
  24. <script src="./source/ace/ext-language_tools.js"></script>
  25. <script src="./source/systemjs/system.js" type="text/javascript" charset="utf-8"></script>
  26. <script>
  27. System.config({
  28. "baseURL": "/",
  29. "defaultJSExtensions": true,
  30. // TODO: figure out how to make this be loaded in by the extension instead of being hard-coded in the html page
  31. meta: {
  32. './source/editorCore/modules/typescript.js': {
  33. format: 'global',
  34. exports: 'ts',
  35. }
  36. }
  37. });
  38. System.import('./source/editorCore/interop');
  39. </script>
  40. </body>
  41. </html>