public class OptionController
extends java.lang.Object
OptionController
class is used for loading and saving editor options.Constructor and Description |
---|
OptionController() |
Modifier and Type | Method and Description |
---|---|
static void |
readOptions()
Fills application properties
property firstly by default option values and
then by the option values loaded from the editor configuration file. |
static void |
setDefaultEditorOptions()
Rewrites application properties
property by default option values specifying
editor options. |
static void |
setDefaultStylesheetOptions()
Rewrites application properties
property by default option values specifying
stylesheet options. |
static void |
storeOptionItems()
Saves values in the system properties
property to the editor configuration
file. |
public static void readOptions()
property
firstly by default option values and
then by the option values loaded from the editor configuration file. The option values loaded
from the configuration file rewrites the corresponding default option values.
Then maps values from application properties property
to the corresponding
variables defined in OptionItems
.public static void setDefaultStylesheetOptions()
property
by default option values specifying
stylesheet options. Then maps values from system properties property
(only
those specifying stylesheet options) to the corresponding variables defined in
OptionItems
.public static void setDefaultEditorOptions()
property
by default option values specifying
editor options. Then maps values from system properties property
(only those
specifying editor options) to the corresponding variables defined in OptionItems
.public static void storeOptionItems()
property
to the editor configuration
file.