* Contributors:
* Igor Malinin - initial contribution
*
- * $Id: OverlayPreferenceStore.java,v 1.1 2004-09-02 18:26:30 jsurfer Exp $
+ * $Id: OverlayPreferenceStore.java,v 1.2 2006-10-21 23:13:54 pombredanne Exp $
*/
package net.sourceforge.phpeclipse.ui.preferences;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
-
/**
* An overlaying preference store.
*/
}
IPreferenceStore parent;
+
IPreferenceStore store;
private PreferenceDescriptor[] keys;
private PropertyListener fPropertyListener;
- public OverlayPreferenceStore(
- IPreferenceStore parent, PreferenceDescriptor[] overlayKeys
- ) {
+ public OverlayPreferenceStore(IPreferenceStore parent,
+ PreferenceDescriptor[] overlayKeys) {
this.parent = parent;
this.keys = overlayKeys;
return (findOverlayKey(key) != null);
}
- void propagateProperty(
- IPreferenceStore orgin, PreferenceDescriptor key,
- IPreferenceStore target
- ) {
+ void propagateProperty(IPreferenceStore orgin, PreferenceDescriptor key,
+ IPreferenceStore target) {
if (orgin.isDefault(key.key)) {
if (!target.isDefault(key.key)) {
target.setToDefault(key.key);
}
}
- private void loadProperty(
- IPreferenceStore orgin, PreferenceDescriptor key,
- IPreferenceStore target, boolean forceInitialization
- ) {
+ private void loadProperty(IPreferenceStore orgin, PreferenceDescriptor key,
+ IPreferenceStore target, boolean forceInitialization) {
PreferenceDescriptor.Type d = key.type;
if (PreferenceDescriptor.BOOLEAN == d) {
if (forceInitialization) {
/*
* @see IPreferenceStore#firePropertyChangeEvent(String, Object, Object)
*/
- public void firePropertyChangeEvent(
- String name, Object oldValue, Object newValue
- ) {
+ public void firePropertyChangeEvent(String name, Object oldValue,
+ Object newValue) {
store.firePropertyChangeEvent(name, oldValue, newValue);
}