"Save project as..." has potentially unintuitive behavior

[zayenz]

I saved a project in the MiniZinc IDE using the "Save project as..." feature. The project files indicated that all the files that had been opened in the IDE window were included in the project, not just the ones that were currently open.

Personally, I find this behavior unintuitive, as I had opened files (and closed others) to arrange the project as I wished. I did not expect the closed tabs to be included. Perhaps there is a good reason for the current behavior, I just did not expect it.

Typically I have a single IDE window open, with tabs for several different unrelated models. Perhaps this is not the intended usage of the IDE.