Merged
Editor manager should be singleton, patched layout restorer to avoid duplicate editor tabs#1024
Commits
Commits on Jun 7, 2022
- committedAkos Kitta
Commits on Jun 8, 2022
- committedAkos Kitta
- committedAkos Kitta