Tried to quit but IDE warned about unsaved changes to project. Did Cancel. Then, I think, I did CMD-W (Close Window) and the IDE crashed. MinZinc IDE 2.7.1, macOS 13.3.1, Intel [crashdump.txt](https://github.com/MiniZinc/MiniZincIDE/files/11205484/crashdump.txt)
Tried to quit but IDE warned about unsaved changes to project. Did Cancel. Then, I think, I did CMD-W (Close Window) and the IDE crashed.
MinZinc IDE 2.7.1, macOS 13.3.1, Intel
crashdump.txt