From 658bdeff2bbf6a70c6b9b1e56fbd224a46b8a3cb Mon Sep 17 00:00:00 2001 From: Matt Bierner Date: Thu, 10 Jul 2025 11:11:02 -0700 Subject: [PATCH] Inline type for now --- src/vs/base/browser/markedKatexSupport.ts | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/vs/base/browser/markedKatexSupport.ts b/src/vs/base/browser/markedKatexSupport.ts index d290cb032132..e65547fdfb15 100644 --- a/src/vs/base/browser/markedKatexSupport.ts +++ b/src/vs/base/browser/markedKatexSupport.ts @@ -45,7 +45,9 @@ export class MarkedKatexSupport { namespace MarkedKatexExtension { - type KatexOptions = import('katex').KatexOptions; + type KatexOptions = { + throwOnError?: boolean; + }; // From https://github.com/UziTech/marked-katex-extension/blob/main/src/index.js export interface MarkedKatexOptions extends KatexOptions {