Re-dock configuration editor when closing un-docked window
Re-dock configuration editor when closing un-docked window

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