public class PreferenceSaver
extends java.lang.Object
Component.setName(String)
) have their
properties written/read.
New components can be supported by implementing a new Saver to the list
SAVERS
.Constructor and Description |
---|
PreferenceSaver(java.util.prefs.Preferences prefs)
Create a new instance allowing to store and load UI properties from the
user's preferences.
|
Modifier and Type | Method and Description |
---|---|
void |
flush() |
void |
load(java.awt.Component component)
Load the properties of the argument and all its children (in depth).
|
void |
save(java.awt.Component component)
Save the properties of the argument and all its children (in depth).
|
public PreferenceSaver(java.util.prefs.Preferences prefs)
prefs
- a non-null preference object.public void save(java.awt.Component component)
component
- component to store.java.util.prefs.BackingStoreException
- possibly thrown by Preferences
.public void load(java.awt.Component component)
component
- component to load.public void flush() throws java.util.prefs.BackingStoreException
java.util.prefs.BackingStoreException
Copyright © 2003-2019 The KeY-Project.