Merge from vscode c58aaab8a1cc22a7139b761166a0d4f37d41e998 (#7880)

* Merge from vscode c58aaab8a1cc22a7139b761166a0d4f37d41e998

* fix pipelines

* fix strict-null-checks

* add missing files

extensions/theme-red/themes/Red-color-theme.json

@@ -5,7 +5,6 @@
 		"activityBar.background": "#580000",
 		"tab.inactiveBackground": "#300a0a",
 		"tab.activeBackground": "#490000",
-		"tab.modifiedBorder": "#db7e58",
 		"sideBar.background": "#330000",
 		"statusBar.background": "#700000",
 		"statusBar.noFolderBackground": "#700000",
@@ -62,12 +61,7 @@
 	"tokenColors": [
 		{
 			"settings": {
-				"background": "#390000",
-				"caret": "#970000",
 				"foreground": "#F8F8F8",
-				"invisibles": "#c10000",
-				"lineHighlight": "#0000004A",
-				"selection": "#750000"
 			}
 		},
 		{
@@ -76,7 +70,6 @@
 				"source.groovy.embedded"
 			],
 			"settings": {
-				"background": "#390000",
 				"foreground": "#F8F8F8"
 			}
 		},
@@ -148,24 +141,9 @@
 			"name": "Invalid",
 			"scope": "invalid",
 			"settings": {
-				"background": "#fd6209ff",
 				"foreground": "#ffffffff"
 			}
 		},
-		{
-			"name": "Embedded Source",
-			"scope": "text source",
-			"settings": {
-				"background": "#b0b3ba14"
-			}
-		},
-		{
-			"name": "Embedded Source (Bright)",
-			"scope": "text.html.ruby source",
-			"settings": {
-				"background": "#b1b3ba21"
-			}
-		},
 		{
 			"name": "Entity inherited-class",
 			"scope": "entity.other.inherited-class",
@@ -323,7 +301,6 @@
 				"meta.diff.header"
 			],
 			"settings": {
-				"background": "#0b2f20ff",
 				"fontStyle": "italic",
 				"foreground": "#f8f8f8ff"
 			}
@@ -332,7 +309,6 @@
 			"name": "diff.deleted",
 			"scope": "markup.deleted",
 			"settings": {
-				"background": "#fedcddff",
 				"foreground": "#ec9799ff"
 			}
 		},
@@ -340,7 +316,6 @@
 			"name": "diff.changed",
 			"scope": "markup.changed",
 			"settings": {
-				"background": "#c4b14aff",
 				"foreground": "#f8f8f8ff"
 			}
 		},
@@ -348,7 +323,6 @@
 			"name": "diff.inserted",
 			"scope": "markup.inserted",
 			"settings": {
-				"background": "#9bf199ff",
 				"foreground": "#41a83eff"
 			}
 		},