Disable all editing while process is running (otherwise bookkeeping gets out of sync)
Disable all editing while process is running (otherwise bookkeeping gets out of sync)

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