Skip to content

Switch to tab if file is already open#119

Merged
ubidefeo merged 1 commit intodevelopmentfrom
bugfix/open-file
Apr 23, 2024
Merged

Switch to tab if file is already open#119
ubidefeo merged 1 commit intodevelopmentfrom
bugfix/open-file

Commits

Commits on Apr 23, 2024