Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
launch: Focus next window if top-to-focus is already top
When bringing a couple of windows to front, and the thought-out topmost of those already is the topmost window, then we skip focusing that window.
- Loading branch information