Lines 190-209
Link Here
|
190 |
* @return a message ready for display |
190 |
* @return a message ready for display |
191 |
*/ |
191 |
*/ |
192 |
protected String updateSummaryVisible() { |
192 |
protected String updateSummaryVisible() { |
193 |
return getSummary(getVisibleMarkers(), "problem.statusSummaryVisible"); //$NON-NLS-1$ |
193 |
// do not show a summary in the status line since we show it |
|
|
194 |
// as the content description |
195 |
return ""; //$NON-NLS-1$ |
194 |
} |
196 |
} |
195 |
|
197 |
|
|
|
198 |
void updateTitle() { |
199 |
MarkerList visibleMarkers= getVisibleMarkers(); |
200 |
String breakdown = formatSummaryBreakDown(visibleMarkers); |
201 |
int filteredCount = visibleMarkers.getItemCount(); |
202 |
int totalCount = getTotalMarkers(); |
203 |
if (filteredCount != totalCount) |
204 |
breakdown = Messages.format("problem.filter.matchedMessage", new Object[] { breakdown, new Integer(filteredCount), new Integer(totalCount)}); //$NON-NLS-1$ |
205 |
setContentDescription(breakdown); |
206 |
} |
207 |
|
208 |
private String formatSummaryBreakDown(MarkerList visibleMarkers) { |
209 |
return Messages.format( |
210 |
"problem.statusSummaryBreakdown", //$NON-NLS-1$ |
211 |
new Object[] { |
212 |
new Integer(visibleMarkers.getErrors()), |
213 |
new Integer(visibleMarkers.getWarnings()), |
214 |
new Integer(visibleMarkers.getInfos()) |
215 |
}); |
216 |
} |
217 |
|
196 |
private String getSummary(MarkerList markers, String messageKey) { |
218 |
private String getSummary(MarkerList markers, String messageKey) { |
197 |
String message = Messages.format( |
219 |
String message = Messages.format( |
198 |
messageKey, |
220 |
messageKey, |
199 |
new Object[] { |
221 |
new Object[] { |
200 |
new Integer(markers.getItemCount()), |
222 |
new Integer(markers.getItemCount()), |
201 |
Messages.format( |
223 |
formatSummaryBreakDown(markers) |
202 |
"problem.statusSummaryBreakdown", //$NON-NLS-1$ |
|
|
203 |
new Object[] { |
204 |
new Integer(markers.getErrors()), |
205 |
new Integer(markers.getWarnings()), |
206 |
new Integer(markers.getInfos())}) |
207 |
}); |
224 |
}); |
208 |
return message; |
225 |
return message; |
209 |
} |
226 |
} |