| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/EverythingChangedTask.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/EverythingChangedTask.java (revision 11962)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/EverythingChangedTask.java (working copy)
|
| @@ -16,11 +16,9 @@
|
| class EverythingChangedTask extends Task {
|
|
|
| private final AnalysisServer server;
|
| - private final Context context;
|
|
|
| - EverythingChangedTask(AnalysisServer server, Context context) {
|
| + EverythingChangedTask(AnalysisServer server) {
|
| this.server = server;
|
| - this.context = context;
|
| }
|
|
|
| @Override
|
| @@ -35,7 +33,7 @@
|
|
|
| @Override
|
| public void perform() {
|
| - context.discardLibraries();
|
| + server.getSavedContext().discardAllLibraries();
|
| server.queueAnalyzeContext();
|
| }
|
| }
|
|
|