|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface GuiConfigurationService
Services related to the GUI configuration
| Method Summary | |
|---|---|
int |
getExtendedState()
|
java.awt.Dimension |
getHorizontalDividerDimension()
|
int |
getHorizontalDividerLocation()
|
java.awt.Point |
getLocationOnScreen()
|
java.lang.String |
getSelectedPlugin()
|
java.awt.Dimension |
getSize()
|
java.awt.Dimension |
getVerticalDividerDimension()
|
int |
getVerticalDividerLocation()
|
void |
save()
saves the current gui configuration |
void |
setExtendedState(int state)
set the extended state |
void |
setHorizontalDividerDimension(java.awt.Dimension horizontalDividerDimension)
set the horizontal divider dimension |
void |
setHorizontalDividerLocation(int location)
set the horizontal divider location |
void |
setLocationOnScreen(java.awt.Point point)
set the location on screen |
void |
setSelectedPlugin(java.lang.String selectedPlugin)
set the selected plugin |
void |
setSize(java.awt.Dimension dimension)
set the size |
void |
setVerticalDividerDimension(java.awt.Dimension verticalDividerDimension)
set the vertical divider dimension |
void |
setVerticalDividerLocation(int location)
set the vertical divider location |
| Method Detail |
|---|
int getExtendedState()
Frame.getExtendedState()void setExtendedState(int state)
state - java.awt.Dimension getSize()
javax.swing.JFrame#getSize())void setSize(java.awt.Dimension dimension)
dimension - java.awt.Point getLocationOnScreen()
javax.swing.JFrame#getLocationOnScreen())void setLocationOnScreen(java.awt.Point point)
point - int getHorizontalDividerLocation()
void setHorizontalDividerLocation(int location)
location - int getVerticalDividerLocation()
void setVerticalDividerLocation(int location)
location - java.awt.Dimension getHorizontalDividerDimension()
void setHorizontalDividerDimension(java.awt.Dimension horizontalDividerDimension)
horizontalDividerDimension - java.awt.Dimension getVerticalDividerDimension()
void setVerticalDividerDimension(java.awt.Dimension verticalDividerDimension)
verticalDividerDimension - void setSelectedPlugin(java.lang.String selectedPlugin)
selectedPlugin - java.lang.String getSelectedPlugin()
void save()
throws java.io.IOException
java.io.IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||