| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 import 'dart:html' show | 5 import 'dart:html' show |
| 6 DivElement, | 6 DivElement, |
| 7 MutationObserver, | 7 MutationObserver, |
| 8 document; | 8 document; |
| 9 | 9 |
| 10 import 'package:try/src/interaction_manager.dart' show | 10 import 'package:try/src/interaction_manager.dart' show |
| (...skipping 23 matching lines...) Expand all Loading... |
| 34 | 34 |
| 35 document.body.nodes.addAll([mainEditorPane, hackDiv]); | 35 document.body.nodes.addAll([mainEditorPane, hackDiv]); |
| 36 | 36 |
| 37 return interaction; | 37 return interaction; |
| 38 } | 38 } |
| 39 | 39 |
| 40 void clearEditorPaneWithoutNotifications() { | 40 void clearEditorPaneWithoutNotifications() { |
| 41 mainEditorPane.nodes.clear(); | 41 mainEditorPane.nodes.clear(); |
| 42 observer.takeRecords(); | 42 observer.takeRecords(); |
| 43 } | 43 } |
| OLD | NEW |