Max Brunsfeld 7cc868bc8c When opening projects, only reuse the current window if it is empty

2023-04-18 17:05:26 -07:00

..

highlighted_workspace_location.rs

Fix error

2023-03-30 14:03:59 +03:00

recent_projects.rs

When opening projects, only reuse the current window if it is empty

2023-04-18 17:05:26 -07:00