protected void handlePreferenceStoreChanged(PropertyChangeEvent event) {
String p = event.getProperty();
if (p.equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND)
|| p.equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT)) {
updateBackgroundColor();
} else if (textTools.affectsBehavior(event)) {
invalidateTextPresentation();
}
}
/*
* @see TextMergeViewer#getDocumentPartitioner()
*/
protected IDocumentPartitioner getDocumentPartitioner() {
return textTools.createXMLPartitioner();
}