GAMS-dev / studio

GAMS Studio
https://www.gams.com/latest/docs/T_STUDIO.html
GNU General Public License v3.0
36 stars 5 forks source link

Ubuntu 18.04: Studio 1.0.0 -- Settings export does not work #192

Closed universal closed 4 years ago

universal commented 4 years ago

I was trying to export the settings to the file through the Settings menu. Hitting export and subsequently save sadly does not create a file. I tried this with the included version from the 31.0 beta release, and the released version from github.

rgoltermann commented 4 years ago

hello and thank you for your feedback.
we can confirm that this is a bug and hope to have a fix ready in the next release of GAMS Studio.

kind regards

universal commented 4 years ago

I just did a partial check in the 31.1 release, and at least a settings file is created on hitting export. I did not check the import.

MrMontag commented 4 years ago

@universal This is fixed with Studio 1.1.1