Changed how the next active document is picked on document close.#436
Merged
Dirkster99 merged 1 commit intoDirkster99:masterfrom Aug 16, 2023
Merged
Changed how the next active document is picked on document close.#436Dirkster99 merged 1 commit intoDirkster99:masterfrom
Dirkster99 merged 1 commit intoDirkster99:masterfrom