12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 |
- <!DOCTYPE html>
- <!-- THIS IS A GENERATED FILE VIA gulp generate-test-samples -->
- <html>
- <head>
- <base href="..">
- <meta http-equiv="X-UA-Compatible" content="IE=edge" />
- <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
- </head>
- <body>
- <style>
- /*----------------------------------------SAMPLE CSS START*/
- /*----------------------------------------SAMPLE CSS END*/
- </style>
- <a class="loading-opts" href="playground.generated/index.html">[<< BACK]</a> <br/>
- THIS IS A GENERATED FILE VIA gulp generate-test-samples
- <div id="bar" style="margin-bottom: 6px;"></div>
- <div style="clear:both"></div>
- <div id="outer-container" style="width:800px;height:450px;border: 1px solid grey">
- <!-- ----------------------------------------SAMPLE HTML START-->
- <div id="container" style="height:100%;"></div>
- <!-- ----------------------------------------SAMPLE HTML END-->
- </div>
- <div style="clear:both"></div>
- <script src="../metadata.js"></script>
- <script src="dev-setup.js"></script>
- <script>
- loadEditor(function() {
- /*----------------------------------------SAMPLE JS START*/
- // Through the options literal, the behaviour of the editor can be easily customized.
- // Here are a few examples of config options that can be passed to the editor.
- // You can also call editor.updateOptions at any time to change the options.
- var editor = monaco.editor.create(document.getElementById("container"), {
- value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line",
- language: "javascript",
- lineNumbers: "off",
- roundedSelection: false,
- scrollBeyondLastLine: false,
- readOnly: false,
- theme: "vs-dark",
- });
- setTimeout(function() {
- editor.updateOptions({
- lineNumbers: "on"
- });
- }, 2000);
- /*----------------------------------------SAMPLE JS END*/
- });
- </script>
- </body>
- </html>
|