From d2862ca363656c244ff587e6ce17e875e02457ed Mon Sep 17 00:00:00 2001 From: PraZ Date: Wed, 14 Feb 2024 04:12:15 +0100 Subject: [PATCH] GitHub alerts case insensitive (#1389) * chore: bump markdown-it-github-alerts to 0.3.0 (override markdown-it) * "revert: bump markdown-it-github-alerts to 0.3.0 (override markdown-it)" This reverts commit dbc00ee9a09c9c91364e5bc281b52afc3fe6f4ff. * chore: case insensitive gh-alerts --- src/markdown-it-plugin-provider.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/markdown-it-plugin-provider.ts b/src/markdown-it-plugin-provider.ts index 561ab00e..3e4e47d8 100644 --- a/src/markdown-it-plugin-provider.ts +++ b/src/markdown-it-plugin-provider.ts @@ -9,7 +9,7 @@ const katexOptions: KatexOptions = { throwOnError: false }; */ export function extendMarkdownIt(md: MarkdownIt): MarkdownIt { md.use(require("markdown-it-task-lists"), {enabled: true}); - md.use(require("markdown-it-github-alerts")) + md.use(require("markdown-it-github-alerts"), { matchCaseSensitive: false }) if (configManager.get("math.enabled")) { // We need side effects. (#521)