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