diff --git a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.css b/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.css deleted file mode 100644 index e69de29bb2..0000000000 diff --git a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.html b/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.html deleted file mode 100644 index 75b9b160de..0000000000 --- a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.html +++ /dev/null @@ -1 +0,0 @@ -
diff --git a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.js b/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.js deleted file mode 100644 index b6b51257c7..0000000000 --- a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.js +++ /dev/null @@ -1,26 +0,0 @@ -// The diff editor offers a navigator to jump between changes. Once the diff is computed the next() and previous() 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); diff --git a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.json b/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.json deleted file mode 100644 index f0f5176650..0000000000 --- a/website/src/website/data/playground-samples/creating-the-diffeditor/navigating-a-diff/sample.json +++ /dev/null @@ -1,3 +0,0 @@ -{ - "title": "Navigating A Diff" -}