|
@@ -1,26 +0,0 @@
|
|
|
-// 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);
|