Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/IgnoreResourceAction.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/IgnoreResourceAction.java (revision 8212) |
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/filesview/IgnoreResourceAction.java (working copy) |
@@ -102,7 +102,7 @@ |
DartModelManager.getInstance().removeFromIgnores(resource); |
if (DartCoreDebug.ANALYSIS_SERVER) { |
File file = resource.getLocation().toFile(); |
- SystemLibraryManagerProvider.getDefaultAnalysisServer().scan(file); |
+ SystemLibraryManagerProvider.getDefaultAnalysisServer().scan(file, true); |
} else { |
AnalyzeProjectJob analyzeProjectJob = new AnalyzeProjectJob(resource.getProject()); |
analyzeProjectJob.schedule(); |