/*
* @see TextMergeViewer#configureTextViewer()
*/
protected void configureTextViewer(TextViewer textViewer) {
XMLPlugin plugin = XMLPlugin.getDefault();
preferenceStore = plugin.getPreferenceStore();
if (preferenceStore != null) {
propertyChangeListener =
new IPropertyChangeListener() {
public void propertyChange(PropertyChangeEvent event) {
handlePreferenceStoreChanged(event);
}
};
preferenceStore.addPropertyChangeListener(propertyChangeListener);
}
textTools = plugin.getXMLTextTools();
if (textViewer instanceof SourceViewer) {
SourceViewer sourceViewer = (SourceViewer) textViewer;
sourceViewer.configure(new XMLConfiguration(textTools));
}
updateBackgroundColor();
}
