| 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;
|
|
|