SourceViewerConfiguration configuration = getSourceViewerConfiguration();
if (configuration instanceof JavaSourceViewerConfiguration) {
JavaSourceViewerConfiguration jsv = (JavaSourceViewerConfiguration) configuration;
if (jsv.affectsTextPresentation(event)) {
jsv.handlePropertyChangeEvent(event);
isv.invalidateTextPresentation();
}
}
super.handlePreferenceStoreChanged(event);
}
}