-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
[editor] Error when doing an undo with Ctrl/Cmd+Z in a JSON editor #1514
Comments
It seems to happen only if we are undoing some (2-* characters) deletion. |
It also happens in the CSS editor, but for instance, not in a JS editor. |
It does not happen in the HTML editor. (Unlike the CSS and the JSON editor, the HTML one does not provide code completion and CA though.) |
I hit another error when I was trying to figure out the cause of the original issue:
I am not sure if that is a real issue or the expected way to handle cancelations, but it would be nice not to show this in the console. |
I have tried to reproduce this issue outside of Theia by cloning the examples from here, I have set the |
I can confirm, it happens when |
Ref: #1539. |
@kittaakos Can you reproduce it against #7481? |
This happens on the branch GH-1479. My WS root is
theia
. Open thelerna.json
in the WS root, edit it, undo it with Ctrl/Cmd+Z:Interestingly, this happens only, when you are trying to undo at least two characters long modification. The undo succeeds, by the way.
The text was updated successfully, but these errors were encountered: