Package org.openscience.jmol.app
Class HistoryFile
java.lang.Object
org.openscience.jmol.app.HistoryFile
The history file contains data from previous uses of Jmol.
- Author:
- Bradley A. Smith (bradley@baysmith.com)
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addProperties
(Properties properties) Adds the given properties to the history.boolean
addProperty
(String key, String value) Adds the given property to the history.void
addWindowInfo
(String name, Component window, Point border) Adds the window informations to the history.void
addWindowInfo
(String name, Component window, Point border, Dimension d) void
addWindowInnerInfo
(String name, Component window, Dimension inner) void
clear()
getFile()
getProperty
(String key, String defaultValue) Get the value of a propertygetWindowBorder
(String name) getWindowPosition
(String name) getWindowSize
(String name) void
repositionWindow
(String name, Component window) Uses the informations in the history to reposition the window.void
repositionWindow
(String name, Component window, int minWidth, int minHeight, boolean allowVisible) Uses the informations in the history to reposition the window.void
save()
Saves properties to the history file.
-
Constructor Details
-
HistoryFile
Creates a history file.- Parameters:
file
- the location of the file.header
- information written to the header of the file.
-
-
Method Details
-
addProperties
Adds the given properties to the history. If a property existed previously, it will be replaced.- Parameters:
properties
- the properties to add.
-
getProperties
- Returns:
- The properties stored in the history file.
-
getProperty
Get the value of a property- Parameters:
key
- Key of the property to finddefaultValue
- Default value to use if the property is not found- Returns:
- The value of the property
-
addProperty
Adds the given property to the history. If it existed previously, it will be replaced.- Parameters:
key
- Key of the property to addvalue
- Value of the property- Returns:
- true if the property is modified
-
getWindowPosition
- Parameters:
name
- Window name- Returns:
- Position of the window stored in the history file
-
getWindowInnerDimension
- Parameters:
name
- Window name- Returns:
- Inner dimension of the window stored in the history file
-
getWindowBorder
- Parameters:
name
- window name- Returns:
- window border stored in the history file
-
getWindowSize
- Parameters:
name
- Window name- Returns:
- Size of the window stored in the history file
-
addWindowInfo
Adds the window informations to the history. If it existed previously, it will be replaced.- Parameters:
name
- Window namewindow
- Windowborder
- Point border
-
addWindowInfo
-
addWindowInnerInfo
-
repositionWindow
public void repositionWindow(String name, Component window, int minWidth, int minHeight, boolean allowVisible) Uses the informations in the history to reposition the window.- Parameters:
name
- Window namewindow
- WindowminWidth
-minHeight
-allowVisible
- TODO
-
repositionWindow
Uses the informations in the history to reposition the window.- Parameters:
name
- Window namewindow
- Window
-
getFile
-
save
public void save()Saves properties to the history file. -
clear
public void clear()
-