mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-07 09:46:02 +02:00
added shared pref key for error parsers
This commit is contained in:
parent
45cfbc6cba
commit
f6e061b3e0
2 changed files with 9 additions and 2 deletions
|
@ -1,3 +1,9 @@
|
|||
2003-09-03 David Inglis
|
||||
Added shared preference key for error parsers
|
||||
|
||||
* src/org/eclipse/cdt/core/ErrorParserManager.java
|
||||
|
||||
|
||||
2003-09-01 Alain Magloire
|
||||
|
||||
Typo in the class signature.
|
||||
|
|
|
@ -28,7 +28,8 @@ public class ErrorParserManager extends OutputStream {
|
|||
|
||||
private int nOpens;
|
||||
|
||||
private static String PREF_ERROR_PARSER = "errorOutputParser";
|
||||
private final static String OLD_PREF_ERROR_PARSER = "errorOutputParser"; // $NON-NLS-1$
|
||||
public final static String PREF_ERROR_PARSER = CCorePlugin.PLUGIN_ID + ".errorOutputParser"; // $NON-NLS-1$
|
||||
|
||||
private IProject fProject;
|
||||
private IMarkerGenerator fMarkerGenerator;
|
||||
|
@ -138,7 +139,7 @@ public class ErrorParserManager extends OutputStream {
|
|||
}
|
||||
if (fErrorParsers.size() == 0) {
|
||||
initErrorParsersMap();
|
||||
CCorePlugin.getDefault().getPluginPreferences().setValue(PREF_ERROR_PARSER, ""); // remove old prefs
|
||||
CCorePlugin.getDefault().getPluginPreferences().setValue(OLD_PREF_ERROR_PARSER, ""); // remove old prefs
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue