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

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