com.compomics.software.dialogs

Interface JavaMemoryDialogParent

public interface JavaMemoryDialogParent

Interface for parents of JavaMemoryDialog.

Author:

Harald Barsnes

Method Summary

Methods

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