mirror of
https://github.com/microsoft/monaco-editor.git
synced 2025-12-22 18:32:56 +01:00
68 lines
No EOL
2 KiB
HTML
68 lines
No EOL
2 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*/
|
|
|
|
// The diff editor offers a navigator to jump between changes. Once the diff is computed the <em>next()</em> and <em>previous()</em> method allow navigation. By default setting the selection in the editor manually resets the navigation state.
|
|
var originalModel = monaco.editor.createModel(
|
|
'just some text\n\nHello World\n\nSome more text',
|
|
'text/plain'
|
|
);
|
|
var modifiedModel = monaco.editor.createModel(
|
|
'just some Text\n\nHello World\n\nSome more changes',
|
|
'text/plain'
|
|
);
|
|
|
|
var diffEditor = monaco.editor.createDiffEditor(document.getElementById('container'));
|
|
diffEditor.setModel({
|
|
original: originalModel,
|
|
modified: modifiedModel
|
|
});
|
|
|
|
var navi = monaco.editor.createDiffNavigator(diffEditor, {
|
|
followsCaret: true, // resets the navigator state when the user selects something in the editor
|
|
ignoreCharChanges: true // jump from line to line
|
|
});
|
|
|
|
window.setInterval(function () {
|
|
navi.next();
|
|
}, 2000);
|
|
|
|
|
|
/*----------------------------------------SAMPLE JS END*/
|
|
});
|
|
</script>
|
|
</body>
|
|
</html> |