public final class Preferences extends HashStructureAdapter implements PropertyStorage
HashStructure
format and saved in a file named
product-preferences.xml in the product extension's directory -- i.e.
under the system directory, it's the subdirectory whose name matches
(modulo any version portion) the "ide.product" system property.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DATA_KEY
Key used to lookup a copy of the Preferences object within other data
structures, such as in the
TraversableContext
of the IDE Preferences dialog. |
_hash
Modifier and Type | Method and Description |
---|---|
void |
clearDirty()
Clears the dirty flag for the Preferences.
|
void |
exportPreferences(java.net.URL file)
Exports the product-level Preferences object to the specified location
|
static Preferences |
getPreferences()
Returns the product-level Preferences object.
|
HashStructure |
getProperties() |
static void |
importPreferences(java.net.URL file)
Imports the product-level Preferences object.
|
boolean |
isDirty() |
void |
save()
Saves the product-level Preferences object to its fixed location
in the system directory.
|
addStructureChangeListener, containsKey, copyTo, copyToImpl, equals, equalsImpl, findOrCreate, forcedCopyTo, getHashStructure, removeStructureChangeListener, useObjectEquals
public static final java.lang.String DATA_KEY
TraversableContext
of the IDE Preferences dialog.public static Preferences getPreferences()
public static void importPreferences(java.net.URL file) throws java.io.IOException
java.io.IOException
public HashStructure getProperties()
getProperties
in interface PropertyStorage
public boolean isDirty()
public void clearDirty()
public void save() throws java.io.IOException
java.io.IOException
- if an IOException occurred during save.public void exportPreferences(java.net.URL file) throws java.io.IOException
java.io.IOException
- if an IOException occurred during save.