Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java |
index 2d7fe7cbc5f4f9abb79eb33ff147b48989e20631..937a8d306ad61ecc6734868275c9b92881d1a909 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java |
@@ -615,7 +615,7 @@ public class DartLibraryImpl extends OpenableElementImpl |
} |
/** |
- * Answer <code>true</code> if the receiver directly or indirectly imports the dart:dom or |
+ * Answer <code>true</code> if the receiver directly or indirectly imports the dart:dom_deprecated or |
* dart:html libraries |
*/ |
public boolean isOrImportsBrowserLibrary() { |
@@ -624,7 +624,7 @@ public class DartLibraryImpl extends OpenableElementImpl |
for (int index = 0; index < visited.size(); index++) { |
DartLibrary library = visited.get(index); |
String libraryName = library.getElementName(); |
- if ("dart:html".equals(libraryName) || "dart:dom".equals(libraryName)) { |
+ if ("dart:html".equals(libraryName) || "dart:dom_deprecated".equals(libraryName)) { |
return true; |
} |
try { |