fSmartyScanner.adaptToPreferenceChange(event);
if (fSmartyDocScanner.affectsBehavior(event))
fSmartyDocScanner.adaptToPreferenceChange(event);
- XMLPlugin.getDefault().getXMLTextTools().affectsBehavior(event);
+// if (XMLPlugin.getDefault().getXMLTextTools().affectsBehavior(event)) {
+// XMLPlugin.getDefault().getXMLTextTools().adaptToPreferenceChange(event);
+// }
}
/**