* Contributors:
* Igor Malinin - initial contribution
*
- * $Id: DTDMergeViewer.java,v 1.1 2004-09-02 18:28:05 jsurfer Exp $
+ * $Id: DTDMergeViewer.java,v 1.3 2006-10-21 23:14:13 pombredanne Exp $
*/
package net.sourceforge.phpeclipse.xml.ui.internal.compare;
+import net.sourceforge.phpeclipse.xml.ui.XMLPlugin;
+import net.sourceforge.phpeclipse.xml.ui.internal.text.DTDConfiguration;
+import net.sourceforge.phpeclipse.xml.ui.text.DTDTextTools;
+
import org.eclipse.compare.CompareConfiguration;
import org.eclipse.compare.contentmergeviewer.TextMergeViewer;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.ui.texteditor.AbstractTextEditor;
-import net.sourceforge.phpeclipse.xml.ui.XMLPlugin;
-import net.sourceforge.phpeclipse.xml.ui.internal.text.DTDConfiguration;
-import net.sourceforge.phpeclipse.xml.ui.text.DTDTextTools;
-
/**
* @author Igor Malinin
*/
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);
}