mirror of
https://github.com/microsoft/monaco-editor.git
synced 2025-12-22 07:00:11 +01:00
63 lines
No EOL
1.7 KiB
HTML
63 lines
No EOL
1.7 KiB
HTML
<!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">[<< 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*/
|
|
|
|
// 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> |