🐛 FIX: editorGroup.background deprecated in v1.25

ahmadawais · Jul 6, 2018 · 95a89c9 · 95a89c9
1 parent 4f9ddbe
commit 95a89c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/themes/shades-of-purple-color-theme.json b/themes/shades-of-purple-color-theme.json
@@ -106,7 +106,7 @@
 		"diffEditor.removedTextBorder": "#ff000d81",
 
 		// Editor Groups & Tabs.
-		"editorGroup.background": "#ec3a37f5",
+		// "editorGroup.background": "#ec3a37f5", // Deprecated in v1.25
 		"editorGroup.border": "#222244",
 		"editorGroup.dropBackground": "#222244d0",