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 and Description
UtilitiesUserPreferences	getUtilitiesUserPreferences() Returns the utilities user preferences.
void	restart() Restart the given tool with the new Java options.

Method Detail

restart

void restart()

Restart the given tool with the new Java options.

getUtilitiesUserPreferences

UtilitiesUserPreferences getUtilitiesUserPreferences()

Returns the utilities user preferences.

Returns:

the utilities user preferences