Use `WorkspaceFolder.name` in addition to workspace folder's basename when resolving `${workspaceFolder:name}` syntax in settings#22471

Merged

karrtikr merged 1 commit intomainfrom

kartik/adorable-bobcat

Nov 13, 2023

Commits on Nov 13, 2023

Use `WorkspaceFolder.name` in addition to workspace folder's basename when resolving `${workspaceFolder:name}` syntax in settings
Kartik Raj
committed