|
||||||||||
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 GuiConfigurationService
Frame.getExtendedState()
public void setExtendedState(int extendedState)
GuiConfigurationService
setExtendedState
in interface GuiConfigurationService
public java.awt.Dimension getSize()
getSize
in interface GuiConfigurationService
javax.swing.JFrame#getSize())
public void setSize(java.awt.Dimension size)
GuiConfigurationService
setSize
in interface GuiConfigurationService
public java.awt.Point getLocationOnScreen()
getLocationOnScreen
in interface GuiConfigurationService
javax.swing.JFrame#getLocationOnScreen())
public void setLocationOnScreen(java.awt.Point locationOnScreen)
GuiConfigurationService
setLocationOnScreen
in interface GuiConfigurationService
public int getHorizontalDividerLocation()
getHorizontalDividerLocation
in interface GuiConfigurationService
public void setHorizontalDividerLocation(int horizontalDividerLocation)
GuiConfigurationService
setHorizontalDividerLocation
in interface GuiConfigurationService
public int getVerticalDividerLocation()
getVerticalDividerLocation
in interface GuiConfigurationService
public void setVerticalDividerLocation(int verticalDividerLocation)
GuiConfigurationService
setVerticalDividerLocation
in interface GuiConfigurationService
public java.awt.Dimension getHorizontalDividerDimension()
getHorizontalDividerDimension
in interface GuiConfigurationService
public void setHorizontalDividerDimension(java.awt.Dimension horizontalDividerDimension)
GuiConfigurationService
setHorizontalDividerDimension
in interface GuiConfigurationService
public java.awt.Dimension getVerticalDividerDimension()
getVerticalDividerDimension
in interface GuiConfigurationService
public void setVerticalDividerDimension(java.awt.Dimension verticalDividerDimension)
GuiConfigurationService
setVerticalDividerDimension
in interface GuiConfigurationService
public java.lang.String getSelectedPlugin()
getSelectedPlugin
in interface GuiConfigurationService
public void setSelectedPlugin(java.lang.String selectedPlugin)
GuiConfigurationService
setSelectedPlugin
in interface GuiConfigurationService
public java.util.Collection<java.lang.String> getRecentEnvironments()
getRecentEnvironments
in interface GuiConfigurationService
public void addRecentEnvironment(java.lang.String envPath)
GuiConfigurationService
addRecentEnvironment
in interface GuiConfigurationService
public void save() throws java.io.IOException
GuiConfigurationService
save
in interface GuiConfigurationService
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |