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();
}
}
