Make sure all paths through the main window event filter return
Make sure all paths through the main window event filter return

If the missing return became "true", findWidget events except for escape key presses would be dropped, including draw events.
MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE