Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use #restoreAndActivate such that a minimized window becomes visible …
…when selecting it from spotter (solves Github issue #603)
- Loading branch information