The user interaction with the initial configuration was massively
improved. What we do to find the UPPAAL verifyta program:
- first look automatically (first in the user's directory, then on all
roots of the system; first looking for a directory with a name
containing "uppaal", then anywhere) trying to find a file named
"verifyta"
- if the search is unsuccessful or the user interrupts it by cancelling
the Cytoscape task, we ask the user to select the verifyta themselves
- if the open dialog is cancelled, we explain that ANIMO needs UPPAAL to
work: we propose to take the user to the UPPAAL download page (if the
browser cannot be opened automatically or a problem arises while opening
the browser, we copy the link in the clipboard and invite the user to
visit the page), recommending to get at least version 4.1
- again specifying that version 4.1 is needed, we show a message dialog
asking to press OK after UPPAAL has been unzipped somewhere
- we retry the automatic search (also with open dialog if the search
fails/is cancelled)
- if we still don't get a valid location for verifyta, we explain to the
user that ANIMO needs UPPAAL to run, and to select the path to verifyta
with the options dialog
- if one of the automatic searches was successful or the user chose a
valid verifyta file, we are done and save the information in ANIMO's
config file.