| 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();
|
|
|