Index: dart/site/try/src/editor.dart |
diff --git a/dart/site/try/src/editor.dart b/dart/site/try/src/editor.dart |
index 615a8539aec63a83cf4fbb88e6228b433286dce3..45bcb3bcb520d74f268d81ea979d35863030af4c 100644 |
--- a/dart/site/try/src/editor.dart |
+++ b/dart/site/try/src/editor.dart |
@@ -232,17 +232,6 @@ addDiagnostic(String kind, String message, int begin, int end) { |
mainEditorPane, childList: true, characterData: true, subtree: true); |
} |
-void inlineChildren(Element element) { |
- if (element == null) return; |
- var parent = element.parentNode; |
- if (parent == null) return; |
- for (Node child in new List.from(element.nodes)) { |
- child.remove(); |
- parent.insertBefore(child, element); |
- } |
- element.remove(); |
-} |
- |
Decoration getDecoration(Token token) { |
if (token is ErrorToken) { |
isMalformedInput = true; |