Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Explorer rename is broken #201890

Closed
joaomoreno opened this issue Jan 5, 2024 · 0 comments · Fixed by #201891
Closed

Explorer rename is broken #201890

joaomoreno opened this issue Jan 5, 2024 · 0 comments · Fixed by #201891
Assignees
@joaomoreno
Labels
bug Issue identified by VS Code Team member as probable bug file-explorer Explorer widget issues important Issue identified as high-priority insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Milestone
December / Januar...

Comments

@joaomoreno
Copy link
Member

  1. Rename a file
  2. Cancel
  3. Rename a file

🐛 Doesn't work.

Broken by #201789
@joaomoreno joaomoreno added bug Issue identified by VS Code Team member as probable bug important Issue identified as high-priority file-explorer Explorer widget issues labels Jan 5, 2024
@joaomoreno joaomoreno added this to the December / January 2024 milestone Jan 5, 2024
@joaomoreno joaomoreno self-assigned this Jan 5, 2024
@joaomoreno joaomoreno mentioned this issue Jan 5, 2024
Closed
joaomoreno added a commit that referenced this issue Jan 5, 2024
@joaomoreno
fixes #201890
e3beebf
@joaomoreno joaomoreno mentioned this issue Jan 5, 2024
Merged
joaomoreno added a commit that referenced this issue Jan 5, 2024
@joaomoreno
fixes #201890 (#201891)
1cfc62d
@vscodenpa vscodenpa added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Jan 5, 2024
@mjbvz mjbvz added the verified Verification succeeded label Jan 25, 2024
@aiday-mar aiday-mar added this to the December / January 2024 milestone Feb 6, 2024
@microsoft microsoft locked and limited conversation to collaborators Jun 10, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@joaomoreno joaomoreno

Labels
bug Issue identified by VS Code Team member as probable bug file-explorer Explorer widget issues important Issue identified as high-priority insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Projects
None yet
Milestone
December / January 2024
4 participants
@joaomoreno @mjbvz @aiday-mar @vscodenpa