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