Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java (revision 1856) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java (working copy) |
@@ -332,7 +332,7 @@ |
public String getDisplayName() { |
// If this is a bundled library, then show "dart:<libname>" to the user |
if (sourceFile != null) { |
- URI uri = BundledSystemLibraryManager.getShortUri(sourceFile.getUri()); |
+ URI uri = SystemLibraryManagerProvider.getShortUri(sourceFile.getUri()); |
if (uri != null) { |
return uri.toString(); |
} |
@@ -360,7 +360,7 @@ |
@Override |
public String getElementName() { |
if (sourceFile != null) { |
- URI shortUri = BundledSystemLibraryManager.getShortUri(sourceFile.getUri()); |
+ URI shortUri = SystemLibraryManagerProvider.getShortUri(sourceFile.getUri()); |
if (shortUri != null) { |
return shortUri.toString(); |
} |
@@ -738,7 +738,7 @@ |
@Override |
protected String getHandleMementoName() { |
URI uri = getUri(); |
- URI shortUri = BundledSystemLibraryManager.getShortUri(uri); |
+ URI shortUri = SystemLibraryManagerProvider.getShortUri(uri); |
if (shortUri != null) { |
return shortUri.toString(); |
} |