org.jmol.export.dialog
public class HistoryFile extends Object
Field Summary | |
---|---|
File | file
The location of the history file. |
String | header
The information written to the header of the history file. |
Properties | properties
The data stored in the history file. |
Constructor Summary | |
---|---|
HistoryFile(File file, String header)
Creates a history file.
|
Method Summary | |
---|---|
void | addProperties(Properties properties)
Adds the given properties to the history. |
boolean | addProperty(String key, String value)
Adds the given property to the history. |
boolean | addWindowBorder(String name, Point border)
Adds the window border to the history.
|
void | addWindowInfo(String name, Component window, Point border)
Adds the window informations to the history.
|
boolean | addWindowPosition(String name, Point position)
Adds the window position to the history.
|
boolean | addWindowSize(String name, Dimension size)
Adds the window size to the history.
|
boolean | addWindowVisibility(String name, boolean visible)
Adds the window visibility to the history.
|
File | getFile() |
Properties | getProperties() |
String | getProperty(String key, String defaultValue)
Get the value of a property
|
Point | getWindowBorder(String name) |
Point | getWindowPosition(String name) |
Dimension | getWindowSize(String name) |
Boolean | getWindowVisibility(String name) |
void | load()
Loads properties from the history file. |
void | repositionWindow(String name, Component window, int minWidth, int minHeight)
Uses the informations in the history to reposition the window.
|
void | repositionWindow(String name, Component window)
Uses the informations in the history to reposition the window.
|
void | save()
Saves properties to the history file. |
Parameters: file the location of the file. header information written to the header of the file.
Parameters: properties the properties to add.
Parameters: key Key of the property to add value Value of the property
Returns: true if the property is modified
Parameters: name window name border Window border
Returns: Tells if the properties are modified
Parameters: name Window name window Window border Point border
Parameters: name Window name position Window position
Returns: Tells if the properties are modified
Parameters: name Window name size Window size
Returns: Tells if the properties are modified
Parameters: name Window name visible Window visibilite
Returns: Tells if the properties are modified
Returns: The properties stored in the history file.
Parameters: key Key of the property to find defaultValue Default value to use if the property is not found
Returns: The value of the property
Parameters: name window name
Returns: window border stored in the history file
Parameters: name Window name
Returns: Position of the window stored in the history file
Parameters: name Window name
Returns: Size of the window stored in the history file
Parameters: name Window name
Returns: Visibility of the window stored in the history file
Parameters: name Window name window Window minWidth minHeight
Parameters: name Window name window Window