Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Data file in project not used. #173

Open
vdijken opened this issue Mar 31, 2023 · 1 comment
Open

Data file in project not used. #173

vdijken opened this issue Mar 31, 2023 · 1 comment

Comments

@vdijken
Copy link

vdijken commented Mar 31, 2023

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.

@Dekker1 Dekker1 transferred this issue from MiniZinc/libminizinc Apr 1, 2023
@cyderize
Copy link
Member

cyderize commented Apr 3, 2023

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).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants