|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.pdfsam.guiclient.configuration.services.xml.XmlGuiConfigurationService
public class XmlGuiConfigurationService
GUI configuration service where values are read and written on an xml file
| Field Summary | |
|---|---|
static java.lang.String |
CONFIGURATION_FILE_NAME
|
| Constructor Summary | |
|---|---|
XmlGuiConfigurationService()
|
|
| 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 extendedState)
set the extended state |
void |
setHorizontalDividerDimension(java.awt.Dimension horizontalDividerDimension)
set the horizontal divider dimension |
void |
setHorizontalDividerLocation(int horizontalDividerLocation)
set the horizontal divider location |
void |
setLocationOnScreen(java.awt.Point locationOnScreen)
set the location on screen |
void |
setSelectedPlugin(java.lang.String selectedPlugin)
set the selected plugin |
void |
setSize(java.awt.Dimension size)
set the size |
void |
setVerticalDividerDimension(java.awt.Dimension verticalDividerDimension)
set the vertical divider dimension |
void |
setVerticalDividerLocation(int verticalDividerLocation)
set the vertical divider location |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.String CONFIGURATION_FILE_NAME
| Constructor Detail |
|---|
public XmlGuiConfigurationService()
| Method Detail |
|---|
public int getExtendedState()
getExtendedState in interface GuiConfigurationServiceFrame.getExtendedState()public void setExtendedState(int extendedState)
GuiConfigurationService
setExtendedState in interface GuiConfigurationServicepublic java.awt.Dimension getSize()
getSize in interface GuiConfigurationServicejavax.swing.JFrame#getSize())public void setSize(java.awt.Dimension size)
GuiConfigurationService
setSize in interface GuiConfigurationServicepublic java.awt.Point getLocationOnScreen()
getLocationOnScreen in interface GuiConfigurationServicejavax.swing.JFrame#getLocationOnScreen())public void setLocationOnScreen(java.awt.Point locationOnScreen)
GuiConfigurationService
setLocationOnScreen in interface GuiConfigurationServicepublic int getHorizontalDividerLocation()
getHorizontalDividerLocation in interface GuiConfigurationServicepublic void setHorizontalDividerLocation(int horizontalDividerLocation)
GuiConfigurationService
setHorizontalDividerLocation in interface GuiConfigurationServicepublic int getVerticalDividerLocation()
getVerticalDividerLocation in interface GuiConfigurationServicepublic void setVerticalDividerLocation(int verticalDividerLocation)
GuiConfigurationService
setVerticalDividerLocation in interface GuiConfigurationServicepublic java.awt.Dimension getHorizontalDividerDimension()
getHorizontalDividerDimension in interface GuiConfigurationServicepublic void setHorizontalDividerDimension(java.awt.Dimension horizontalDividerDimension)
GuiConfigurationService
setHorizontalDividerDimension in interface GuiConfigurationServicepublic java.awt.Dimension getVerticalDividerDimension()
getVerticalDividerDimension in interface GuiConfigurationServicepublic void setVerticalDividerDimension(java.awt.Dimension verticalDividerDimension)
GuiConfigurationService
setVerticalDividerDimension in interface GuiConfigurationServicepublic java.lang.String getSelectedPlugin()
getSelectedPlugin in interface GuiConfigurationServicepublic void setSelectedPlugin(java.lang.String selectedPlugin)
GuiConfigurationService
setSelectedPlugin in interface GuiConfigurationServicepublic java.util.Collection<java.lang.String> getRecentEnvironments()
getRecentEnvironments in interface GuiConfigurationServicepublic void addRecentEnvironment(java.lang.String envPath)
GuiConfigurationService
addRecentEnvironment in interface GuiConfigurationService
public void save()
throws java.io.IOException
GuiConfigurationService
save in interface GuiConfigurationServicejava.io.IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||