| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SystemLibraryManagerProvider.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SystemLibraryManagerProvider.java (revision 7713)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SystemLibraryManagerProvider.java (working copy)
|
| @@ -56,6 +56,10 @@
|
| DartCore.logInformation("Reading bundled libraries from " + sdkDir);
|
|
|
| ANY_LIBRARY_MANAGER = new EditorLibraryManager(sdkDir, "any");
|
| + String packageRoot = DartCore.getPlugin().getPrefs().get(DartCore.PACKAGE_ROOT_DIR_PREFERENCE, "");
|
| + if (packageRoot != null && !packageRoot.isEmpty()) {
|
| + ANY_LIBRARY_MANAGER.setPackageRoot(new File(packageRoot));
|
| + }
|
|
|
| }
|
| }
|
|
|