Defocus config window widgets when updating solver config
Defocus config window widgets when updating solver config

This ensures that the value they report is up to date

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE