Adopt strike through for markdown

Fixes #43504 Picks up new markdown grammar with strikethrough support and also adopts it for our built-in themes
2026-04-19 08:08:39 +01:00 · 2022-01-05 15:13:35 -08:00
parent 9ed5a855c1
commit 80ce88bc6a
14 changed files with 152 additions and 3 deletions
--- a/extensions/theme-defaults/themes/dark_vs.json
+++ b/extensions/theme-defaults/themes/dark_vs.json
@@ -144,6 +144,12 @@
 				"fontStyle": "italic"
 			}
 		},
+		{
+			"scope": "markup.strikethrough",
+			"settings": {
+				"fontStyle": "strikethrough"
+			}
+		},
 		{
 			"scope": "markup.inserted",
 			"settings": {