MiniZinc
links in code boxes (and corresponding .dzn files) : open in separate windows
"Some of the code examples are shown in boxes like the one below. If a code box has a heading, it usually also contains a link to the source code (you can click on the filename)."
In version 2.5.3 all these links open in separate windows. This is annoying when clicking on a .mzn file and the corresponding .dzn files. How can I change this? (It used to be different in the version I used 1 year ago).
As far as I'm aware, this has only been implemented on macOS, and it still seems to work. What OS are you using?
On Windows (and Linux too, I believe), there's no built-in way to open files in an existing window (although we may end up manually implementing something to do this ourselves at some point). You should be able to drag and drop files into an existing window, if you are opening them from a file explorer (but probably not from a web browser).
I use Windows 10. Last year it worked perfectly fine (on the same laptop, MiniZinc version 2.4.??). During my lectures on MininZinc I could easily use the examples from the tutorial by clicking on the links above the code boxes and as the .dzn files opened in the same "IDE", run the corresponding .mzn files with the .dzn files. It worked very good. As I understand from your answer, this feature is no longer available. That is a pitty.