| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartModelManager.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartModelManager.java (revision 12609)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartModelManager.java (working copy)
|
| @@ -1814,7 +1814,9 @@
|
| // | IResourceChangeEvent.PRE_REFRESH
|
| );
|
|
|
| - AnalysisIndexManager.startIndexing();
|
| + if (DartSdkManager.getManager().hasSdk()) {
|
| + AnalysisIndexManager.startIndexing();
|
| + }
|
|
|
| ResourceUtil.startup();
|
| DartCore.notYetImplemented();
|
|
|