Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prevent double activation when multiple documents are opened (#3070)
### Motivation When we started preventing double activation on lazy activations #2693, I forgot to do the same for when the user starts the editor with multiple documents opened. ### Implementation We need to remember that we're already activating the workspace, so that we don't accidentally launch multiple duplicates for the same folder.
- Loading branch information