|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface JavaOptionsDialogParent
Interface for parents of JavaOptionsDialog.
Method Summary | |
---|---|
UtilitiesUserPreferences |
getUtilitiesUserPreferences()
Returns the utilities user preferences. |
void |
restart()
Restart the given tool with the new Java options. |
Method Detail |
---|
void restart()
UtilitiesUserPreferences getUtilitiesUserPreferences()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |