Reconnect signals when changing document. Might work around a race condition (difficult to test).
Reconnect signals when changing document. Might work around a race condition (difficult to test).

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