Skip to content

fix: avoid considering output panes as editors#771

Merged
radeksimko merged 2 commits intomainfrom b-avoid-irrelevant-editorsSep 16, 2021

Commits

Commits on Sep 16, 2021