Skip to content

Introduce locked editor groups and auto-lock setting#131101

Merged
bpasero merged 6 commits intomainfrom
ben/grouplocking
Aug 19, 2021
Merged

Introduce locked editor groups and auto-lock setting#131101
bpasero merged 6 commits intomainfrom
ben/grouplocking

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Explore ways to not pollute editor groups with terminals with other editors

2 participants