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

After inserting newlines into an editor, Edit > Undo works unreliably #11324

Closed
kittaakos opened this issue Jun 22, 2022 · 2 comments
Closed
Labels
editor issues related to the editor

Comments

@kittaakos
Copy link
Contributor

Bug Description:

Theia executes Undo unreliably after line insertion.

Electron, macOS

undo_electron.mp4

Browser, macOS

  • Theia ignores every second Undo command.
undo_browser.mp4

Steps to Reproduce:

  1. Open an editor,
  2. Insert newlines,
  3. Try to undo with Edit > Undo or with the Undo from the context menu,

Additional Information

  • Operating System: macOS
  • Theia Version: ce01284
@msujew msujew added the editor issues related to the editor label Jun 24, 2022
@colin-grant-work
Copy link
Contributor

@kittaakos, I'm having trouble reproducing this issue. I'm on MacOS 12.4, Chrome 102. What browser are you using?

@kittaakos
Copy link
Contributor Author

Thank you for your time checking it.

I used Brave (Version 1.40.105 Chromium: 103.0.5060.53 (Official Build) (x86_64)) on macOS 12.3.1, but I can confirm that it works with Chrome (Version 103.0.5060.53 (Official Build) (x86_64)).

#11217 already exists for the electron part, and the browser part is invalid. I am closing this issue.

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

No branches or pull requests

3 participants