Simplify content rewriting.

dart/site/try/src/interaction_manager.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library trydart.interaction_manager;
 
 import 'dart:html';
 
 import 'dart:convert' show
     JSON;
@@ skipping 22 matching lines @@
     outputDiv;
 
 import 'decoration.dart' show
     CodeCompletionDecoration,
     Decoration,
     DiagnosticDecoration,
     error,
     info,
     warning;
 
+import 'html_to_text.dart' show
+    htmlToText;
 import 'editor.dart' as editor;
 
 import 'mock.dart' as mock;
 
 import 'settings.dart' as settings;
 
 /**
  * UI interaction manager for the entire application.
  */
 abstract class InteractionManager {
@@ skipping 113 matching lines @@
     print('onMutation');
 
     for (String query in const ['a.diagnostic>span',
                                 '.dart-code-completion',
                                 '.hazed-suggestion']) {
       for (Element element in inputPre.querySelectorAll(query)) {
         element.remove();
       }
     }
 
-    // Discard clean-up mutations.
-    observer.takeRecords();
-
     Selection selection = window.getSelection();
 
-    while (!mutations.isEmpty) {
-      for (MutationRecord record in mutations) {
-        String type = record.type;
-        switch (type) {
-
-          case 'characterData':
-            bool hasSelection = false;
-            int offset = selection.anchorOffset;
-            if (selection.isCollapsed &&
-                selection.anchorNode == record.target) {
-              hasSelection = true;
-            }
-            var parent = record.target.parentNode;
-            if (parent != inputPre) {
-              editor.inlineChildren(parent);
-            }
-            if (hasSelection) {
-              selection.collapse(record.target, offset);
-            }
-            break;
-
-          default:
-            if (!record.addedNodes.isEmpty) {
-              for (var node in record.addedNodes) {
-
-                if (node.nodeType != Node.ELEMENT_NODE) continue;
-
-                if (node is BRElement) {
-                  if (selection.anchorNode != node) {
-                    node.replaceWith(new Text('\n'));
-                  }
-                } else {
-                  var parent = node.parentNode;
-                  if (parent == null) continue;
-                  var nodes = new List.from(node.nodes);
-                  var style = node.getComputedStyle();
-                  if (style.display != 'inline') {
-                    var previous = node.previousNode;
-                    if (previous is Text) {
-                      previous.appendData('\n');
-                    } else {
-                      parent.insertBefore(new Text('\n'), node);
-                    }
-                  }
-                  for (Node child in nodes) {
-                    child.remove();
-                    parent.insertBefore(child, node);
-                  }
-                  node.remove();
-                }
-              }
-            }
+    for (MutationRecord record in mutations) {
+      if (record.addedNodes.isEmpty) continue;
+      for (Node node in record.addedNodes) {
+        if (node.parent == null) continue;
+        StringBuffer buffer = new StringBuffer();
+        int selectionOffset = htmlToText(node, buffer, selection);
+        Text newNode = new Text('$buffer');
+        node.replaceWith(newNode);
+        if (selectionOffset != -1) {
+          selection.collapse(newNode, selectionOffset);
         }
       }
-      mutations = observer.takeRecords();
     }
 
     if (!inputPre.nodes.isEmpty && inputPre.nodes.last is Text) {
       Text text = inputPre.nodes.last;
       if (!text.text.endsWith('\n')) {
         text.appendData('\n');
       }
     }
 
     int offset = 0;
@@ skipping 389 matching lines @@
       event.getModifierState("Fn") ||
       event.getModifierState("Meta") ||
       event.getModifierState("NumLock") ||
       event.getModifierState("ScrollLock") ||
       event.getModifierState("Scroll") ||
       event.getModifierState("Win") ||
       event.getModifierState("Shift") ||
       event.getModifierState("SymbolLock") ||
       event.getModifierState("OS");
 }