From e61edfc62c875449abdc47577a29d65417f500db Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 10 Dec 2025 02:56:55 +0000 Subject: [PATCH] Make extension check case-insensitive to match glob pattern matching Co-authored-by: DonJayamanne <1948812+DonJayamanne@users.noreply.github.com> --- src/vs/workbench/contrib/notebook/common/notebookEditorInput.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/notebook/common/notebookEditorInput.ts b/src/vs/workbench/contrib/notebook/common/notebookEditorInput.ts index 2bdd0fb3158..9342692a083 100644 --- a/src/vs/workbench/contrib/notebook/common/notebookEditorInput.ts +++ b/src/vs/workbench/contrib/notebook/common/notebookEditorInput.ts @@ -285,7 +285,7 @@ export class NotebookEditorInput extends AbstractResourceEditorInput { const matches = /^\*\.([A-Za-z_-]*)$/.exec(selectorStr); if (matches && matches.length > 1) { const fileExt = matches[1]; - if (!targetResource.path.endsWith(fileExt)) { + if (!targetResource.path.toLowerCase().endsWith(fileExt.toLowerCase())) { return targetResource.with({ path: targetResource.path + '.' + fileExt }); } }