123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081 |
- <!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*/
- .myGlyphMarginClass {
- background: red;
- }
- .myContentClass {
- background: lightblue;
- }
- /*----------------------------------------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*/
- var jsCode = [
- '"use strict";',
- 'function Person(age) {',
- ' if (age) {',
- ' this.age = age;',
- ' }',
- '}',
- 'Person.prototype.getAge = function () {',
- ' return this.age;',
- '};'
- ].join('\n');
- var editor = monaco.editor.create(document.getElementById("container"), {
- value: jsCode,
- language: "javascript",
- glyphMargin: true
- });
- var decorations = editor.deltaDecorations([], [
- {
- range: new monaco.Range(3,1,3,1),
- options: {
- isWholeLine: true,
- className: 'myContentClass',
- glyphMarginClassName: 'myGlyphMarginClass'
- }
- }
- ]);
- // You can now use `decorations` to change or remove the decoration
- /*----------------------------------------SAMPLE JS END*/
- });
- </script>
- </body>
- </html>
|