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

[Theia AI] Diff editor does not update to new changes #14900

Open
Tracked by #14768
colin-grant-work opened this issue Feb 11, 2025 · 0 comments · May be fixed by #14901
Open
Tracked by #14768

[Theia AI] Diff editor does not update to new changes #14900

colin-grant-work opened this issue Feb 11, 2025 · 0 comments · May be fixed by #14901
Assignees

Comments

@colin-grant-work
Copy link
Contributor

colin-grant-work commented Feb 11, 2025

When a diff editor is still open for a file and a new change for the same file was generated, then clicking on the change set diff will just focus the editor, although it does not contain the changes. I need to close the old editor and open it again via the new changeset to see the diff.

@colin-grant-work colin-grant-work changed the title [Theia AI] Diff editor does not update to new changes | When a diff editor is still open for a file and a new change for the same file was generated, then clicking on the change set diff will just focus the editor, although it does not contain the changes. I need to close the old editor and open it again via the new changeset to see the diff. [Theia AI] Diff editor does not update to new changes Feb 11, 2025
@colin-grant-work colin-grant-work self-assigned this Feb 11, 2025
@colin-grant-work colin-grant-work linked a pull request Feb 11, 2025 that will close this issue
2 tasks
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

Successfully merging a pull request may close this issue.

1 participant