diff --git a/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/marker/ProblemReporter.java b/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/marker/ProblemReporter.java index 717226c..49ac1bd 100644 --- a/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/marker/ProblemReporter.java +++ b/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/marker/ProblemReporter.java @@ -47,7 +47,7 @@ public void reportProblem(Problem problem) throws CoreException { } message.append(problem.getMessage()); final String completeMessage = Messages.bind( - Messages.ProblemReporter_Message, problem.getCategory(), + Messages.ProblemReporter_Message, (problem.getCategory() + " [" + problem.getId() + "]"), message); for (IResource resource : problem.getResources()) { // for each resource diff --git a/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/messages.properties b/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/messages.properties index 225f5f5..93f5578 100644 --- a/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/messages.properties +++ b/com.googlecode.cppcheclipse.ui/src/com/googlecode/cppcheclipse/ui/messages.properties @@ -76,7 +76,7 @@ BuildPropertyPage_RunOnBuild=Run on build Console_Title=cppcheck ProblemReporter_ProblemInExternalFile=Problem in external file {0} line {1}: -ProblemReporter_Message=(cppcheck {0}) {1} +ProblemReporter_Message=cppcheck {0} {1} ProblemsPreferencePage_Description=Select which problems should be reported in which severity. ProblemsTreeEditor_Name=Name ProblemsTreeEditor_Problems=Problems