com.compomics.software.dialogs
Interface JavaOptionsDialogParent


public interface JavaOptionsDialogParent

Interface for parents of JavaOptionsDialog.

Author:
Harald Barsnes

Method Summary
 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


Copyright © 2013. All Rights Reserved.