| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/MarkOccurrencesManager_NEW.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/MarkOccurrencesManager_NEW.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/MarkOccurrencesManager_NEW.java
|
| index 8519551d6280f08445683ef88f5e8636f40faa4f..467d8d1f54d308aa3f936930b6050d34bd5cfbe6 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/MarkOccurrencesManager_NEW.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/MarkOccurrencesManager_NEW.java
|
| @@ -206,7 +206,7 @@ public class MarkOccurrencesManager_NEW {
|
| return;
|
| }
|
|
|
| - Integer[] offsets = targetOccurrences.getOffsets();
|
| + int[] offsets = targetOccurrences.getOffsets();
|
| Position[] positions = new Position[offsets.length];
|
| for (int i = 0; i < offsets.length; i++) {
|
| int offset = offsets[i];
|
|
|