| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartPluginImages.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartPluginImages.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartPluginImages.java
|
| index a499dd80ca5c052991e453b302c5b745be766ddc..889855530e41802e693fec11a61001a57b652562 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartPluginImages.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartPluginImages.java
|
| @@ -209,6 +209,9 @@ public class DartPluginImages {
|
| /*
|
| * Set of predefined Image Descriptors.
|
| */
|
| + public static final ImageDescriptor DESC_DART_IMPORT_PREFIX = createUnManaged(
|
| + T_DART,
|
| + "import_prefix.gif"); //$NON-NLS-1$
|
| public static final ImageDescriptor DESC_DART_LIB_FILE = createUnManaged(
|
| T_DART,
|
| "package_obj.gif"); //$NON-NLS-1$
|
|
|