Skip to content

Editor manager should be singleton, patched layout restorer to avoid duplicate editor tabs#1024

Merged
kittaakos merged 3 commits intomainfrom
editor-manager-di
Jun 8, 2022

Commits

Commits on Jun 7, 2022

Commits on Jun 8, 2022