|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface OperaPreferences
Interface for reading and interacting with preferences in the Opera web browser.
| Nested Class Summary | |
|---|---|
static interface |
OperaPreferences.OperaPreference
Interface representing individual preferences. |
| Method Summary | |
|---|---|
Iterable<OperaPreferences.OperaPreference> |
all()
Returns an iterable collection of all preferences present in the current object. |
OperaPreferences.OperaPreference |
get(String section,
String key)
Returns the preference with the given section and key values. |
void |
merge(OperaPreferences newPreferences)
Merges one representation with the given representation. |
void |
set(OperaPreferences.OperaPreference preference)
Sets the given preference. |
void |
set(String section,
String key,
Object value)
Sets the given preference information. |
int |
size()
Returns the number of preferences in the representation. |
| Methods inherited from interface java.lang.Iterable |
|---|
iterator |
| Method Detail |
|---|
Iterable<OperaPreferences.OperaPreference> all()
void merge(OperaPreferences newPreferences)
newPreferences - the preferences to mergevoid set(OperaPreferences.OperaPreference preference)
preference - the preference to add or update
void set(String section,
String key,
Object value)
set(OperaPreference) method.
section - the section name, can be case-insensitivekey - the key name, can be case-insensitivevalue - the new value (will be treated as a String in Opera
OperaPreferences.OperaPreference get(String section,
String key)
section - the section name, can be case-insensitivekey - the key name, can be case-insensitive
int size()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||