When lauching GurobiSetPath message box, if the user selected the wrong file and wants to go back and choose another, when "Clear" was hit such step should be allowed to happen after clear the wrong path/file and re-click on "Load Gurobi Path" should guide user to the file chooser.
agnosti5
commented
11 years ago
When lauching GurobiSetPath message box, if the user selected the wrong file and wants to go back and choose another, when "Clear" was hit such step should be allowed to happen after clear the wrong path/file and re-click on "Load Gurobi Path" should guide user to the file chooser.