search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Preferences with path must be improved #70

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
The defaults path for the solver libraries and executables must be fixed.

Current default path may not correspond to real directories, and in that
case the preferences page will refuse to take into account the changes
until those paths are fixed.

Original issue reported on code.google.com by daniel.l...@gmail.com on 1 Dec 2008 at 11:35

GoogleCodeExporter commented 8 years ago 
The paths are now verified before setting the defaults.

Fixed in 0.2.32

Original comment by daniel.l...@gmail.com on 1 Dec 2008 at 9:10