| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/DartLibraryNode.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/DartLibraryNode.java (revision 11969)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/DartLibraryNode.java (working copy)
|
| @@ -31,10 +31,12 @@
|
| class DartLibraryNode implements IDartNode {
|
| private DartDirectoryNode parent;
|
| private IFileStore root;
|
| + private String name;
|
|
|
| - public DartLibraryNode(DartDirectoryNode parent, IFileStore root) {
|
| + public DartLibraryNode(DartDirectoryNode parent, IFileStore root, String name) {
|
| this.parent = parent;
|
| this.root = root;
|
| + this.name = name;
|
| }
|
|
|
| public IFileStore[] getFiles() {
|
| @@ -57,7 +59,7 @@
|
| if (isPkgNode()) {
|
| return "package:" + root.getName() + "/" + root.getName() + ".dart";
|
| } else {
|
| - return "dart:" + root.getName();
|
| + return "dart:" + name;
|
| }
|
| }
|
|
|
|
|