| 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) {
|
|
|