Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java (revision 8721) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java (working copy) |
@@ -920,7 +920,7 @@ |
mapping = getDartProject().getHtmlMapping(); |
final String elementName = getElementName(); |
- final String libraryName = new Path(elementName).lastSegment().toString(); |
+ final String libraryName = getCorrespondingResource().getLocation().toPortableString(); |
Set<String> keys = mapping.keySet(); |
for (String key : keys) { |