Fix updating of solver configs when not syncing basic options
Fix updating of solver configs when not syncing basic options

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