| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/internal/search/ui/SearchResultPage_NEW.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/internal/search/ui/SearchResultPage_NEW.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/internal/search/ui/SearchResultPage_NEW.java
|
| index be64da1efd5586047e7c8de5067f6b0c0739d6d7..1d07111f99b97e6340b58cb087d94222453765fe 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/internal/search/ui/SearchResultPage_NEW.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/internal/search/ui/SearchResultPage_NEW.java
|
| @@ -628,8 +628,9 @@ public abstract class SearchResultPage_NEW extends SearchPage {
|
| Map<Element, ElementItem> itemMap = Maps.newHashMap();
|
| itemMap.put(null, rootItem);
|
| for (SearchResult searchResult : searchResults) {
|
| - Element[] elements = searchResult.getPath();
|
| - ElementItem elementItem = addElementItem(itemMap, elements, 0);
|
| + List<Element> elements = searchResult.getPath();
|
| + Element[] elementArray = elements.toArray(new Element[elements.size()]);
|
| + ElementItem elementItem = addElementItem(itemMap, elementArray, 0);
|
| elementItem.addMatch(sourceLineProvider, searchResult);
|
| }
|
| calculateNumMatches(rootItem);
|
|
|