-
Notifications
You must be signed in to change notification settings - Fork 37.6k
Closed
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable buggitGIT issuesGIT issuesinsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code InsidersverifiedVerification succeededVerification succeeded
Milestone
Description
Does this issue occur when all extensions are disabled?: YES
-
VS Code Version:
Version: 1.67.2
Commit: c3511e6
Date: 2022-05-17T18:20:57.384Z
Electron: 17.4.1
Chromium: 98.0.4758.141
Node.js: 16.13.0
V8: 9.8.177.13-electron.0
OS: Darwin x64 21.4.0 -
OS Version: macOS 12.3.1
Steps to Reproduce:
- open command pallete
- select
Git: Close All Diff Editors
does not close the diff editors:
Screen.Recording.2022-05-24.at.2.08.38.PM.mov
wasn't able to reopen #143746 because I'm not a contributor, but its the same bug.
Metadata
Metadata
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable buggitGIT issuesGIT issuesinsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code InsidersverifiedVerification succeededVerification succeeded