During the initial sync, the Tab moves the focus to the widgets of the main window, even when the ModalOverlay is visible. This creates some weird rectangular selections on the screen.
This PR fixes this by keeping the focus on the “Hide” button while the ModalOverlay is visible.
Fixes #783