Add option to let Ctrl+P always reveal editor if the file is already open #7049
Description
- VSCode Version: alpha
- OS Version:
Steps to Reproduce:
- No tabs no Open editor section
- Two groups. G1: a.txt & b.txt with b.txt in front; G2: c.txt
- G2 has focus
- Ctrl+P a.txt
Observe: a.txt is opened a second time in G2
I would like to have an option to reveal a.txt in G1 instead of opening a new copy.