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.

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

[Bug] symbols from JS extra libs can be renamed #4800

Open
1 of 2 tasks
romainmoreau opened this issue Jan 11, 2025 · 0 comments
Open
1 of 2 tasks

[Bug] symbols from JS extra libs can be renamed #4800

romainmoreau opened this issue Jan 11, 2025 · 0 comments

Comments

@romainmoreau
Copy link

Reproducible in vscode.dev or in VS Code Desktop?

  • Not reproducible in vscode.dev or VS Code Desktop

Reproducible in the monaco editor playground?

Monaco Editor Playground Link

Configure Javascript Defaults example

Monaco Editor Playground Code

Reproduction Steps

  1. In the code editor, put the cursor on next (line 5).
  2. Hit the F2 key to rename it and add a character for instance.

Actual (Problematic) Behavior

The rename is accepted but only partially (it's renamed in the model only).

Expected Behavior

The rename should be blocked (i.e. a no-op) like for the standard libs.

Additional Context

No response

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant