|
||||||||||
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 | |
---|---|
void |
addRecentEnvironment(java.lang.String envPath)
adds the given env ensuring that there are no duplicates, that the new env is at the top of the list and that the list size is at most 8. |
int |
getExtendedState()
|
java.awt.Dimension |
getHorizontalDividerDimension()
|
int |
getHorizontalDividerLocation()
|
java.awt.Point |
getLocationOnScreen()
|
java.util.Collection<java.lang.String> |
getRecentEnvironments()
|
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
void addRecentEnvironment(java.lang.String envPath)
envPath
- java.util.Collection<java.lang.String> getRecentEnvironments()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |