| Package | Description |
|---|---|
| com.opera.core.systems.preferences |
| Modifier and Type | Class and Description |
|---|---|
static class |
AbstractOperaPreferences.AbstractPreference
Shared methods for the
OperaPreferences.OperaPreference interface for keeping the local
cache of individual preference up to date. |
static class |
OperaFilePreferences.FilePreference
Allows setting Opera preferences in a preference file (typically
opera.ini or
operaprefs.ini) as well as keeping the local individual preference cache
up-to-date. |
static class |
OperaGenericPreferences.GenericPreference
Instantiatable generic preference that does not do any special treatment a preferences like
OperaScopePreferences.ScopePreference or OperaFilePreferences.FilePreference. |
static class |
OperaScopePreferences.ScopePreference
Allows setting Opera preferences in Opera in addition to keeping the local cache of preferences
up to date.
|
| Modifier and Type | Field and Description |
|---|---|
protected LinkedHashSet<OperaPreferences.OperaPreference> |
AbstractOperaPreferences.preferences |
| Modifier and Type | Method and Description |
|---|---|
OperaPreferences.OperaPreference |
AbstractOperaPreferences.get(String section,
String key) |
OperaPreferences.OperaPreference |
OperaPreferences.get(String section,
String key)
Returns the preference with the given section and key values.
|
| Modifier and Type | Method and Description |
|---|---|
Iterable<OperaPreferences.OperaPreference> |
AbstractOperaPreferences.all() |
Iterable<OperaPreferences.OperaPreference> |
OperaPreferences.all()
Returns an iterable collection of all preferences present in the current object.
|
Iterator<OperaPreferences.OperaPreference> |
AbstractOperaPreferences.iterator() |
| Modifier and Type | Method and Description |
|---|---|
static OperaFilePreferences.FilePreference |
OperaFilePreferences.FilePreference.convert(OperaFilePreferences parent,
OperaPreferences.OperaPreference convertee) |
void |
AbstractOperaPreferences.set(OperaPreferences.OperaPreference preference) |
void |
OperaScopePreferences.set(OperaPreferences.OperaPreference preference) |
void |
OperaPreferences.set(OperaPreferences.OperaPreference preference)
Sets the given preference.
|
void |
OperaFilePreferences.set(OperaPreferences.OperaPreference preference) |
Copyright © 2013. All Rights Reserved.