Save file that's actually being closed rather than current editor
Save file that's actually being closed rather than current editor

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