anchor.diff:    }
   }
   
  -Future _appendNode(html.Element parent, html.Element child) {
  -  Completer completer = new Completer();
  -  child.onLoad.listen((e) {
  -    completer.complete();
  -  });
  -  parent.nodes.add(child);
  -  return completer.future;
  -}
  +//Future _appendNode(html.Element parent, html.Element child) {
  +//  Completer completer = new Completer();
  +//  child.onLoad.listen((e) {
  +//    completer.complete();
  +//  });
  +//  parent.nodes.add(child);
  +//  return completer.future;
  +//}
  
positive.code: // 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 editor.codemirror;
  
  import 'dart:async';
  import 'dart:html' as html;
  
negative.code:     initializeBracketClosing();
  
      List futures = [];
  //    html.Element head = html.querySelector('html head');
  
  //    // <link href="packages/dart_pad/editing/editor_codemirror.css"
  //    //   rel="stylesheet">
  