[pull] main from microsoft:main#808

Merged

pull[bot] merged 25 commits intocode:mainfrom

Jan 12, 2026

Commits on Jan 10, 2026

Commits on Jan 11, 2026

Added option in Search view to ignore case in file paths and glob patterns
dmitrivMS
committed

Commits on Jan 12, 2026