From 5b7c0c4bbba96b014a0ed00bbbe8d31b0185a95c Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Thu, 12 Dec 2019 22:38:12 +0100 Subject: [PATCH] Fixes #1271: Remove missing colors --- .../customizing-the-appearence/exposed-colors/sample.js | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/website/playground/new-samples/customizing-the-appearence/exposed-colors/sample.js b/website/playground/new-samples/customizing-the-appearence/exposed-colors/sample.js index a5bcc1ce..dd100883 100644 --- a/website/playground/new-samples/customizing-the-appearence/exposed-colors/sample.js +++ b/website/playground/new-samples/customizing-the-appearence/exposed-colors/sample.js @@ -94,13 +94,6 @@ monaco.editor.create(document.getElementById("container"), { 'diffEditor.removedTextBackground' // Background color for text that got removed. 'diffEditor.insertedTextBorder' // Outline color for the text that got inserted. 'diffEditor.removedTextBorder' // Outline color for text that got removed. -'merge.currentHeaderBackground' // Current header background in inline merge-conflicts. -'merge.currentContentBackground' // Current content background in inline merge-conflicts. -'merge.incomingHeaderBackground' // Incoming header background in inline merge-conflicts. -'merge.incomingContentBackground' // Incoming content background in inline merge-conflicts. -'merge.commonHeaderBackground' // Common ancestor header background in inline merge-conflicts. -'merge.commonContentBackground' // Common ancester content background in inline merge-conflicts. -'merge.border' // Border color on headers and the splitter in inline merge-conflicts. 'editorOverviewRuler.currentContentForeground' // Current overview ruler foreground for inline merge-conflicts. 'editorOverviewRuler.incomingContentForeground' // Incoming overview ruler foreground for inline merge-conflicts. 'editorOverviewRuler.commonContentForeground' // Common ancestor overview ruler foreground for inline merge-conflicts. @@ -151,4 +144,4 @@ Object.keys(colors).forEach(function(key) { var val = colors[key]; console.log( '//' + val.description + '\n' + key); }) -*/ \ No newline at end of file +*/