Make extension check case-insensitive to match glob pattern matching

Co-authored-by: DonJayamanne <1948812+DonJayamanne@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-12-10 02:56:55 +00:00
parent edc1d5c2da
commit e61edfc62c

View File

@ -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 });
}
}