Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Ctrl+Z after 'Rename symbol' #21

Open
jbriales opened this issue Sep 29, 2019 · 3 comments
Open

Ctrl+Z after 'Rename symbol' #21

jbriales opened this issue Sep 29, 2019 · 3 comments
Labels
bug Something isn't working

Comments

@jbriales
Copy link

The 'Rename symbol' action (F2) cannot be undone with Ctrl+Z.
This is quite annoying as renaming going wrong cannot be undone.
@nikeee nikeee added the bug Something isn't working label Sep 29, 2019
@nikeee
Copy link
Owner

nikeee commented Sep 30, 2019

Thanks for reporting this issue!

It seems to be a problem with the editor component, Monaco:
microsoft/monaco-editor#1548
microsoft/monaco-editor#1591

I guess we have to wait for this issue to be fixed.

@jbriales
Copy link
Author

jbriales commented Oct 8, 2019 •
edited
Loading

Cool, thanks! Monaco on the other hand is awesome to have, great choice! :D

@nikeee
Copy link
Owner

nikeee commented Jul 3, 2020

Note to myself: Check if this is still an issue.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nikeee @jbriales