Skip to content

Fix #78: dont focus first workspace in fixWorkspaceArrangement#79

Merged
zjeffer merged 2 commits intomainfrom devMay 12, 2024