Close #3573
How can the size of a widget be bigger than the size of its parent window? Really weird Qt bug