| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/ResourceLabelProvider.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/ResourceLabelProvider.java (revision 12204)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/ResourceLabelProvider.java (working copy)
|
| @@ -121,7 +121,15 @@
|
|
|
| return string;
|
| }
|
| + if (element instanceof DartLibraryNode && ((DartLibraryNode) element).getCategory() != null) {
|
| + StyledString string = new StyledString(((DartLibraryNode) element).getLabel());
|
| + string.append(
|
| + " [" + ((DartLibraryNode) element).getCategory() + "]",
|
| + StyledString.QUALIFIER_STYLER);
|
|
|
| + return string;
|
| + }
|
| +
|
| return workbenchLabelProvider.getStyledText(element);
|
| }
|
|
|
|
|