Skip to content

DiffEditor cannot be closed using close() #141326

@lszomoru

Description

@lszomoru

Does this issue occur when all extensions are disabled?: Yes/No

  • VS Code Version:
  • OS Version:

Steps to Reproduce:

  1. Create a new extension that uses the tabs proposed api
  2. Open couple of files, and couple of diff editors
  3. Create a command that executes await window.tabs[0].close();

Expected: Invoking the command would close each tab one by one
Actual: Tabs contains files get closed, but diff editors do not

Metadata

Metadata

Assignees

Labels

diff-editorDiff editor issueseditor-apiIssues about the API of vscode in the area of editorsinsiders-releasedPatch has been released in VS Code Insiders

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions