| Index: dart/site/try/src/editor.dart
|
| diff --git a/dart/site/try/src/editor.dart b/dart/site/try/src/editor.dart
|
| index 45bcb3bcb520d74f268d81ea979d35863030af4c..afe92ab8b111c8086cf527acc224eaef24be6b8e 100644
|
| --- a/dart/site/try/src/editor.dart
|
| +++ b/dart/site/try/src/editor.dart
|
| @@ -257,12 +257,15 @@ Decoration getDecoration(Token token) {
|
| return currentTheme.foreground;
|
| }
|
|
|
| -diagnostic(text, tip) {
|
| - if (text is String) {
|
| - text = new Text(text);
|
| +diagnostic(content, tip) {
|
| + if (content is String) {
|
| + content = new Text(content);
|
| + }
|
| + if (content is! List) {
|
| + content = [content];
|
| }
|
| return new AnchorElement()
|
| ..classes.add('diagnostic')
|
| - ..append(text)
|
| - ..append(tip);
|
| + ..append(tip) // Should be first for better Firefox editing.
|
| + ..nodes.addAll(content);
|
| }
|
|
|