oleg
/
monaco-editor
espejo de https://github.com/microsoft/monaco-editor.git


			
							1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
							<!DOCTYPE html>
<!-- THIS IS A GENERATED FILE VIA `npm run simpleserver` -->
<html>
<head>
	<base href="..">
	<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">[&lt;&lt; BACK]</a> <br/>
THIS IS A GENERATED FILE VIA `npm run simpleserver`

<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 editor = monaco.editor.create(document.getElementById('container'), {
	value: '{\n\t"dependencies": {\n\t\t\n\t}\n}\n',
	language: 'json'
});

var commandId = editor.addCommand(
	0,
	function () {
		// services available in `ctx`
		alert('my command is executing!');
	},
	''
);

monaco.languages.registerCodeLensProvider('json', {
	provideCodeLenses: function (model, token) {
		return {
			lenses: [
				{
					range: {
						startLineNumber: 1,
						startColumn: 1,
						endLineNumber: 2,
						endColumn: 1
					},
					id: 'First Line',
					command: {
						id: commandId,
						title: 'First Line'
					}
				}
			],
			dispose: () => {}
		};
	},
	resolveCodeLens: function (model, codeLens, token) {
		return codeLens;
	}
});


/*----------------------------------------SAMPLE JS END*/
});
</script>
</body>
</html>