* Contributors:
* Igor Malinin - initial contribution
*
- * $Id: DTDMergeViewer.java,v 1.2 2005-05-06 00:55:42 stefanbjarni Exp $
+ * $Id: DTDMergeViewer.java,v 1.3 2006-10-21 23:14:13 pombredanne Exp $
*/
package net.sourceforge.phpeclipse.xml.ui.internal.compare;
private IPreferenceStore preferenceStore;
/**
- * The listener for changes to the preference store.
+ * The listener for changes to the preference store.
*/
private IPropertyChangeListener propertyChangeListener;
private DTDTextTools textTools;
/*
- * @see TextMergeViewer#TextMergeViewer(Composite, int, CompareConfiguration)
+ * @see TextMergeViewer#TextMergeViewer(Composite, int,
+ * CompareConfiguration)
*/
- public DTDMergeViewer(
- Composite parent, int style, CompareConfiguration configuration
- ) {
+ public DTDMergeViewer(Composite parent, int style,
+ CompareConfiguration configuration) {
super(parent, style, configuration);
}
if (propertyChangeListener != null) {
if (preferenceStore != null) {
preferenceStore
- .removePropertyChangeListener(propertyChangeListener);
+ .removePropertyChangeListener(propertyChangeListener);
}
propertyChangeListener = null;
protected void handlePreferenceStoreChanged(PropertyChangeEvent event) {
String p = event.getProperty();
- if (p.equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND) ||
- p.equals(AbstractTextEditor
- .PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT)
- ) {
+ if (p.equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND)
+ || p
+ .equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT)) {
updateBackgroundColor();
} else if (textTools.affectsBehavior(event)) {
invalidateTextPresentation();
}
private void updateBackgroundColor() {
- boolean defaultBackgroundColor = preferenceStore.getBoolean(
- AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT);
+ boolean defaultBackgroundColor = preferenceStore
+ .getBoolean(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT);
if (defaultBackgroundColor) {
setBackgroundColor(null);
} else {
- RGB backgroundColor = PreferenceConverter
- .getColor(preferenceStore,
+ RGB backgroundColor = PreferenceConverter.getColor(preferenceStore,
AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND);
setBackgroundColor(backgroundColor);
}