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