Soot Configurations Manager Dialog
This dialog allows you to save and manage sets of Soot options as named configurations.
The list at the left shows configurations you have already created. They can be given any unique name. At the right are buttons for managing the configurations.
- The New button is for creating a new configuration. Upon clicking it you will be prompted for a name. This name must be unique and must not be null. Then the Options Dialog will be shown with a Save intead of Run button at the bottom. Select you options and click Save to finish creating your new configuration.
- The Edit button only works if you have first selected a configuration to edit. Upon clicking it an Options Dialog appears with the configuration options preset. You can then change them in any way and click Save to finish editting your configuration.
- The Delete button only works if you have first selected a configuration from the left to delete. Upon clicking it you will be asked to confirm that you actually want to delete the configuration and upon clicking Yes the configuration will be removed from the list and no longer available.
- The Rename button is for changing the name of an existing configuration and is only avaliable when a configuration is selected.
- The Clone button is for creating a new configuration that is similar to an existing one. It is only avaliable when you have selected a configuration. After creating the copy you can then use the Edit button to modify it.
Finally, at the bottom is a Run button for running a saved configuration. It is only available upon selecting a configuration. This is useful if you want to run a Soot with a particular set of options many times.