| Index: editor/tools/plugins/com.google.dart.eclipse.ui/src/com/google/dart/eclipse/ui/internal/navigator/DartNavigatorContentProvider.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.eclipse.ui/src/com/google/dart/eclipse/ui/internal/navigator/DartNavigatorContentProvider.java (revision 11101)
|
| +++ editor/tools/plugins/com.google.dart.eclipse.ui/src/com/google/dart/eclipse/ui/internal/navigator/DartNavigatorContentProvider.java (working copy)
|
| @@ -215,7 +215,7 @@
|
| URI uri = library.getLibrarySourceFile().getUri();
|
|
|
| if (PackageLibraryManager.isDartUri(uri)) {
|
| - PackageLibraryManager libraryManager = PackageLibraryManagerProvider.getSystemLibraryManager();
|
| + PackageLibraryManager libraryManager = PackageLibraryManagerProvider.getPackageLibraryManager();
|
|
|
| uri = libraryManager.translateDartUri(uri);
|
| }
|
|
|