2016-06-24 05:59:58 +08:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
|
|
|
|
|
</head>
|
|
|
|
|
<body style="height:2000px">
|
|
|
|
|
|
|
|
|
|
<h2>Monaco Editor in fixed element</h2>
|
|
|
|
|
|
|
|
|
|
<div style="position: fixed; left: 20%; top: 20%; right: 20%; height: 400px; border:1px solid silver" id="Editor">
|
|
|
|
|
|
|
|
|
|
<script src="../metadata.js"></script>
|
|
|
|
|
<script src="dev-setup.js"></script>
|
|
|
|
|
<script>
|
|
|
|
|
loadEditor(function() {
|
2016-06-24 18:06:32 +08:00
|
|
|
monaco.editor.create(document.getElementById('Editor'), {
|
|
|
|
|
value: document.documentElement.innerHTML,
|
2016-06-24 05:59:58 +08:00
|
|
|
language: 'xml'
|
|
|
|
|
});
|
|
|
|
|
});
|
|
|
|
|
</script>
|
|
|
|
|
</body>
|
2020-02-14 00:07:01 +08:00
|
|
|
</html>
|
