| Index: editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/ui/omni/elements/TopLevelElement_NEW.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/ui/omni/elements/TopLevelElement_NEW.java b/editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/ui/omni/elements/TopLevelElement_NEW.java
|
| index 483df22639a4eeb486949edf35031bda2f6eaf73..3ff6f5d942c20cc485647edae24f62130a40612d 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/ui/omni/elements/TopLevelElement_NEW.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/ui/omni/elements/TopLevelElement_NEW.java
|
| @@ -13,9 +13,9 @@
|
| */
|
| package com.google.dart.tools.ui.omni.elements;
|
|
|
| -import com.google.dart.server.SearchResult;
|
| import com.google.dart.server.generated.types.Element;
|
| import com.google.dart.server.generated.types.ElementKind;
|
| +import com.google.dart.server.generated.types.SearchResult;
|
| import com.google.dart.tools.ui.DartElementLabels;
|
| import com.google.dart.tools.ui.DartToolsPlugin;
|
| import com.google.dart.tools.ui.DartUI;
|
|
|