Package com.compomics.software.dialogs
Interface JavaHomeOrMemoryDialogParent
public interface JavaHomeOrMemoryDialogParent
Interface for parents of JavaMemoryDialog and JavaHomeDialog.
- Author:
- Harald Barsnes
-
Method Summary
Modifier and Type Method Description UtilitiesUserParameters
getUtilitiesUserParameters()
Returns the utilities user preferences.void
restart()
Restart the given tool with the new Java options.
-
Method Details
-
restart
void restart()Restart the given tool with the new Java options. -
getUtilitiesUserParameters
UtilitiesUserParameters getUtilitiesUserParameters()Returns the utilities user preferences.- Returns:
- the utilities user preferences
-