Index: pkg/analysis_server/lib/src/context_manager.dart |
diff --git a/pkg/analysis_server/lib/src/context_manager.dart b/pkg/analysis_server/lib/src/context_manager.dart |
index 8af64b3f40d93bef9ec327223660860c200bfc75..1506fc5375a8b70ec664ecc07a1f2f8dcc837148 100644 |
--- a/pkg/analysis_server/lib/src/context_manager.dart |
+++ b/pkg/analysis_server/lib/src/context_manager.dart |
@@ -518,10 +518,12 @@ abstract class ContextManager { |
} |
break; |
case ChangeType.MODIFY: |
- Source source = info.sources[path]; |
- if (source != null) { |
+ List<Source> sources = info.context.getSourcesWithFullName(path); |
Paul Berry
2015/03/06 21:56:42
I just noticed that there's a pre-existing bug her
Brian Wilkerson
2015/03/06 23:17:11
Done.
|
+ if (!sources.isEmpty) { |
ChangeSet changeSet = new ChangeSet(); |
- changeSet.changedSource(source); |
+ sources.forEach((Source source) { |
Paul Berry
2015/03/06 21:56:42
Nit: this is inefficient since it copies Source ob
Brian Wilkerson
2015/03/06 23:17:11
Yes it is. But the field is 'final', so making it
Paul Berry
2015/03/09 18:05:33
Fair enough.
|
+ changeSet.changedSource(source); |
+ }); |
applyChangesToContext(folder, changeSet); |
} |
break; |