1
0

creating-the-editor-editor-basic-options.html 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263
  1. <!DOCTYPE html>
  2. <!-- THIS IS A GENERATED FILE VIA `npm run simpleserver` -->
  3. <html>
  4. <head>
  5. <base href="..">
  6. <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
  7. </head>
  8. <body>
  9. <style>
  10. /*----------------------------------------SAMPLE CSS START*/
  11. /*----------------------------------------SAMPLE CSS END*/
  12. </style>
  13. <a class="loading-opts" href="playground.generated/index.html">[&lt;&lt; BACK]</a> <br/>
  14. THIS IS A GENERATED FILE VIA `npm run simpleserver`
  15. <div id="bar" style="margin-bottom: 6px;"></div>
  16. <div style="clear:both"></div>
  17. <div id="outer-container" style="width:800px;height:450px;border: 1px solid grey">
  18. <!-- ----------------------------------------SAMPLE HTML START-->
  19. <div id="container" style="height: 100%"></div>
  20. <!-- ----------------------------------------SAMPLE HTML END-->
  21. </div>
  22. <div style="clear:both"></div>
  23. <script src="../../metadata.js"></script>
  24. <script src="dev-setup.js"></script>
  25. <script>
  26. loadEditor(function() {
  27. /*----------------------------------------SAMPLE JS START*/
  28. // Through the options literal, the behaviour of the editor can be easily customized.
  29. // Here are a few examples of config options that can be passed to the editor.
  30. // You can also call editor.updateOptions at any time to change the options.
  31. var editor = monaco.editor.create(document.getElementById('container'), {
  32. value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line",
  33. language: 'javascript',
  34. lineNumbers: 'off',
  35. roundedSelection: false,
  36. scrollBeyondLastLine: false,
  37. readOnly: false,
  38. theme: 'vs-dark'
  39. });
  40. setTimeout(function () {
  41. editor.updateOptions({
  42. lineNumbers: 'on'
  43. });
  44. }, 2000);
  45. /*----------------------------------------SAMPLE JS END*/
  46. });
  47. </script>
  48. </body>
  49. </html>