| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java (revision 16302)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java (working copy)
|
| @@ -19,7 +19,6 @@
|
| import com.google.dart.tools.core.analysis.index.AnalysisIndexManager;
|
| import com.google.dart.tools.core.internal.MessageConsoleImpl;
|
| import com.google.dart.tools.core.internal.builder.RootArtifactProvider;
|
| -import com.google.dart.tools.core.internal.directoryset.DirectorySetManager;
|
| import com.google.dart.tools.core.internal.model.DartModelImpl;
|
| import com.google.dart.tools.core.internal.model.DartModelManager;
|
| import com.google.dart.tools.core.internal.model.DartProjectImpl;
|
| @@ -557,13 +556,6 @@
|
| }
|
|
|
| /**
|
| - * Return the static {@link DirectorySetManager} instance.
|
| - */
|
| - public static DirectorySetManager getDirectorySetManager() {
|
| - return DirectorySetManager.getInstance();
|
| - }
|
| -
|
| - /**
|
| * Return the workspace root default charset encoding.
|
| *
|
| * @return the name of the default charset encoding for the workspace root
|
| @@ -1196,10 +1188,6 @@
|
| PLUG_IN = this;
|
| }
|
|
|
| - public boolean isAutoRunPubEnabled() {
|
| - return DartCore.getPlugin().getPrefs().getBoolean(PUB_AUTO_RUN_PREFERENCE, true);
|
| - }
|
| -
|
| /**
|
| * Use dart2js if the SDK is present.
|
| */
|
| @@ -1238,6 +1226,10 @@
|
| return projectScope.getNode(PLUGIN_ID);
|
| }
|
|
|
| + public boolean isAutoRunPubEnabled() {
|
| + return DartCore.getPlugin().getPrefs().getBoolean(PUB_AUTO_RUN_PREFERENCE, true);
|
| + }
|
| +
|
| @Override
|
| public void sdkUpdated(DartSdk sdk) {
|
| Job job = new CleanLibrariesJob(true);
|
|
|