Hi, I'm running MiniZinc IDE version 2.9.3, but this happened with 2.9.1 as well. I'm on Windows 11, with AMD Ryzen CPU.
The issue is that, while running any model with different solvers (I tried to use Gecode and Chuffed) and only when the chosen solver is working, if I click on the "Running model example.mzn with n=3" line in the output window (the one you click on when trying to suppress a single run output), the entire window crashes and exits by itself.
Thank you for your work and sorry in advance if I did not report it correctly, I'm quite new to GitHub.