diff options
Diffstat (limited to 'org.eclipse.search/new search/org/eclipse/search2/internal/ui/text/EditorAnnotationManager.java')
-rw-r--r-- | org.eclipse.search/new search/org/eclipse/search2/internal/ui/text/EditorAnnotationManager.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/org.eclipse.search/new search/org/eclipse/search2/internal/ui/text/EditorAnnotationManager.java b/org.eclipse.search/new search/org/eclipse/search2/internal/ui/text/EditorAnnotationManager.java index 30334152f93..e4f662f8575 100644 --- a/org.eclipse.search/new search/org/eclipse/search2/internal/ui/text/EditorAnnotationManager.java +++ b/org.eclipse.search/new search/org/eclipse/search2/internal/ui/text/EditorAnnotationManager.java @@ -155,8 +155,7 @@ public class EditorAnnotationManager implements ISearchResultListener { } ArrayList<Match> matchesInEditor= null; // lazy initialization - for (int i= 0; i < matches.length; i++) { - Match curr= matches[i]; + for (Match curr : matches) { if (adapter.isShownInEditor(curr, fEditor)) { if (matchesInEditor == null) { matchesInEditor= new ArrayList<>(); |