MiniZincIDE icon indicating copy to clipboard operation
MiniZincIDE copied to clipboard

Data file in project not used.

Open vdijken opened this issue 2 years ago • 1 comments

Linux 64 version 2.7.1. When I open a project in the IDE and I perform a right click on the data file; minizinc still asks for the data instead of using the data file. When I explicit open the data file in a second window; the IDE asks if it should use it.

vdijken avatar Mar 31 '23 12:03 vdijken

So far I haven't been able to reproduce this. Would you be able to share the project where this happens? (If you can't send it publicly, you can email it to support [at] minizinc.dev).

cyderize avatar Apr 03 '23 02:04 cyderize