return;
}
IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
- if (store.getBoolean(PHPeclipsePlugin.PHP_PARSER_DEFAULT)) {
+ if (store.getString(PHPeclipsePlugin.PHP_PARSER_DEFAULT).equals(PHPeclipsePlugin.PHP_INTERNAL_PARSER)) {
// first delete all the previous markers
fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);