Fixes #7718
I guess calling QWidget::hide()
on a QWidget::isMinimized()
will not always result in a hidden window.
It’s hard to say if this is a bug or a feature.
This little PR will make sure, we de-minimize the splashscreen-window before hiding.