Make SwitchHeaderSource use workbench.editor.revealIfOpen setting - #8857

Merged

Sean McManus (sean-mcmanus) merged 10 commits into

microsoft:mainfrom

joelmsmith:updateSwitchHeaderSource

Feb 18, 2022

Commits on Feb 13, 2022

Add setting for SwitchHeaderSource UI behavior
Joel Smith (joelmsmith)
committed
49e9871

Commits on Feb 17, 2022

Merge remote-tracking branch 'origin/main' into updateSwitchHeaderSource
Joel Smith (joelmsmith)
committed
ad31dab
Use workbench.editor.revealIfOpen
Joel Smith (joelmsmith)
committed
0c0d74b

Commits on Feb 18, 2022