| 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 1dd50e4a24006e090ceb9d16b3eea1d792eabb7e..a499dd80ca5c052991e453b302c5b745be766ddc 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
|
| @@ -238,6 +238,7 @@ public class DartPluginImages {
|
| T_DART,
|
| "interface_private.png"); //$NON-NLS-1$
|
|
|
| + public static final ImageDescriptor DESC_DART_LABEL = createUnManaged(T_DART, "label.gif"); //$NON-NLS-1$
|
| public static final ImageDescriptor DESC_DART_LOCAL_VARIABLE = createUnManaged(
|
| T_DART,
|
| "localvariable_obj.gif"); //$NON-NLS-1$
|
|
|