Skip to content

Open Editors: unable to open file in a specific group if opened in other group and setting workbench.editor.revealIfOpen #79784

Closed
microsoft/azuredatastudio
#7206
@bpasero

Description

@bpasero

Steps to Reproduce:

  1. open the same file in 2 groups
  2. configure workbench.editor.revealIfOpen: true
  3. try to click on the file in the one group and in the other

=> 🐛 it is not possible to open each, only one

//cc @isidorn

Metadata

Metadata

Assignees

Labels

bugIssue identified by VS Code Team member as probable bugverifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions