* @see
* org.eclipse.ui.texteditor.AbstractTextEditor#handlePreferenceStoreChanged
* (org.eclipse.jface.util.PropertyChangeEvent)
*/
protected void handlePreferenceStoreChanged(PropertyChangeEvent event) {
JDISourceViewer isv = (JDISourceViewer) getSourceViewer();
if (isv != null) {
IContentAssistant assistant = isv.getContentAssistant();
if (assistant instanceof ContentAssistant) {
JDIContentAssistPreference.changeConfiguration(
(ContentAssistant) assistant, event);
}
SourceViewerConfiguration configuration = getSourceViewerConfiguration();
if (configuration instanceof JavaSourceViewerConfiguration) {
JavaSourceViewerConfiguration jsv = (JavaSourceViewerConfiguration) configuration;
if (jsv.affectsTextPresentation(event)) {
jsv.handlePropertyChangeEvent(event);
isv.invalidateTextPresentation();
}
}
super.handlePreferenceStoreChanged(event);
}
}