You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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
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.
The text was updated successfully, but these errors were encountered: