diff options
author | Dani Megert | 2014-04-09 11:49:18 +0000 |
---|---|---|
committer | Dani Megert | 2014-04-09 11:49:18 +0000 |
commit | f57ff125d5c0d604482906cb90f9dd0712e9cfa5 (patch) | |
tree | 755730a16c25b2cfb8044248b446dae78400e6ee | |
parent | 37981c487563d3945d0a168c46af66b0f58e0700 (diff) | |
download | eclipse.platform.ui-f57ff125d5c0d604482906cb90f9dd0712e9cfa5.tar.gz eclipse.platform.ui-f57ff125d5c0d604482906cb90f9dd0712e9cfa5.tar.xz eclipse.platform.ui-f57ff125d5c0d604482906cb90f9dd0712e9cfa5.zip |
Fixed previous commit
-rw-r--r-- | bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java | 25 |
1 files changed, 7 insertions, 18 deletions
diff --git a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java index b574a284b9d..39e27697ed5 100644 --- a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java +++ b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java @@ -1024,23 +1024,15 @@ public class ExtendedMarkersView extends ViewPart { } return status; } - // combine counts for infos and others - counts = new Integer[] { counts[0], counts[1], - new Integer(counts[2].intValue() + counts[3].intValue()) }; + String message= MessageFormat.format( + MarkerMessages.errorsAndWarningsSummaryBreakdown, + counts[0], counts[1], /* combine infos and others */ counts[2] + counts[3]); if (filteredCount < 0 || filteredCount >= totalCount) - return MessageFormat.format( - MarkerMessages.errorsAndWarningsSummaryBreakdown, - counts[0], counts[1], counts[2] + counts[3]); + return message; return NLS .bind( MarkerMessages.problem_filter_matchedMessage, - new Object[] { - MessageFormat - .format( - MarkerMessages.errorsAndWarningsSummaryBreakdown, - counts[0], counts[1], counts[2] + counts[3]), - new Integer(filteredCount), - new Integer(totalCount) }); + new Object[] {message, new Integer(filteredCount), new Integer(totalCount) }); } /** @@ -1500,9 +1492,6 @@ public class ExtendedMarkersView extends ViewPart { */ private String getStatusSummary(MarkerEntry[] entries) { Integer[] counts = Markers.getMarkerCounts(entries); - // combine counts for infos and others - counts = new Integer[] { counts[0], counts[1], - new Integer(counts[2].intValue() + counts[3].intValue()) }; if (counts[0].intValue() == 0 && counts[1].intValue() == 0) { // In case of tasks view and bookmarks view, show only selection // count @@ -1518,7 +1507,7 @@ public class ExtendedMarkersView extends ViewPart { MessageFormat .format( MarkerMessages.errorsAndWarningsSummaryBreakdown, - counts[0], counts[1], counts[2] + counts[3]) }); + counts[0], counts[1], /* combine infos and others */ counts[2] + counts[3])}); } /** @@ -1866,4 +1855,4 @@ public class ExtendedMarkersView extends ViewPart { boolean isVisible() { return isViewVisible; } -} +}
\ No newline at end of file |