Change /// @docsEditable to @DocsEditable annotation.

tools/dom/templates/html/dart2js/impl_Window.darttemplate

 // Copyright (c) 2012, 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.
 
 part of html;
 $ANNOTATIONS
 class $CLASSNAME$EXTENDS$IMPLEMENTS native "@*DOMWindow" {
 
   Document get document => JS('Document', '#.document', this);
 
@@ skipping 138 matching lines @@
   /**
    * Register a [port] on this window under the given [name].  This
    * port may be retrieved by any isolate (or JavaScript script)
    * running in this window.
    */
   void registerPort(String name, var port) {
     var serialized = _serialize(port);
     document.documentElement.attributes['dart-port:$name'] = json.stringify(serialized);
   }
 
-  /// @docsEditable true
+  @DocsEditable
   @DomName('Window.console')

[blois, 2013/01/16 21:07:40]

Should not have docseditable

[Andrei Mouravski, 2013/01/16 21:11:18]

Done.

   Console get console => Console.safeConsole;
 
 $!MEMBERS
 }