64 lines
1.8 KiB
HTML
64 lines
1.8 KiB
HTML
<!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 CSS END*/
|
|
});
|
|
</script>
|
|
</body>
|
|
</html> |