| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library trydart.editor; | 5 library trydart.editor; |
| 6 | 6 |
| 7 import 'dart:html'; | 7 import 'dart:html'; |
| 8 | 8 |
| 9 import 'package:compiler/src/scanner/string_scanner.dart' show | 9 import 'package:compiler/src/scanner/string_scanner.dart' show |
| 10 StringScanner; | 10 StringScanner; |
| 11 | 11 |
| 12 import 'package:compiler/src/tokens/token.dart' show | 12 import 'package:compiler/src/tokens/token.dart' show |
| 13 EOF_TOKEN, | |
| 14 ErrorToken, | 13 ErrorToken, |
| 15 Token; | 14 Token; |
| 16 | 15 |
| 16 import 'package:compiler/src/tokens/token_constants.dart' show |
| 17 EOF_TOKEN; |
| 18 |
| 17 import 'ui.dart' show | 19 import 'ui.dart' show |
| 18 currentTheme, | 20 currentTheme, |
| 19 hackDiv, | 21 hackDiv, |
| 20 interaction, | 22 interaction, |
| 21 mainEditorPane, | 23 mainEditorPane, |
| 22 observer, | 24 observer, |
| 23 outputDiv; | 25 outputDiv; |
| 24 | 26 |
| 25 import 'decoration.dart' show | 27 import 'decoration.dart' show |
| 26 CodeCompletionDecoration, | 28 CodeCompletionDecoration, |
| (...skipping 242 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 269 content = new Text(content); | 271 content = new Text(content); |
| 270 } | 272 } |
| 271 if (content is! List) { | 273 if (content is! List) { |
| 272 content = [content]; | 274 content = [content]; |
| 273 } | 275 } |
| 274 return new AnchorElement() | 276 return new AnchorElement() |
| 275 ..classes.add('diagnostic') | 277 ..classes.add('diagnostic') |
| 276 ..append(tip) // Should be first for better Firefox editing. | 278 ..append(tip) // Should be first for better Firefox editing. |
| 277 ..nodes.addAll(content); | 279 ..nodes.addAll(content); |
| 278 } | 280 } |
| OLD | NEW |