Skip to content

Ensure unique counters for editor widgets in a merge editor#17257

Closed
pisv wants to merge 1 commit intoeclipse-theia:masterfrom
pisv:GH-17256
Closed

Ensure unique counters for editor widgets in a merge editor#17257
pisv wants to merge 1 commit intoeclipse-theia:masterfrom
pisv:GH-17256

Conversation

@pisv
Copy link
Copy Markdown
Contributor

@pisv pisv commented Mar 29, 2026

What it does

Fixes #17256.

How to test

Please use the steps for reproducing #17256 to verify that the regular editor is now restored correctly. (Note that the merge editor is not expected to be restored at this time. It's a separate issue tracked in #17251.)

Breaking changes

  • This PR introduces breaking changes and requires careful review. If yes, the breaking changes section in the changelog has been updated.

Review checklist

Reminder for reviewers

@pisv
Copy link
Copy Markdown
Contributor Author

pisv commented Apr 1, 2026

Closing in favour of #17275.

@pisv pisv closed this Apr 1, 2026
@github-project-automation github-project-automation bot moved this from Waiting on reviewers to Done in PR Backlog Apr 1, 2026
@pisv pisv deleted the GH-17256 branch April 1, 2026 14:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Merge editor prevents the corresponding regular editor from restoring correctly

1 participant