Added "/// @docsEditable" to all generated members in the HTML lib.

sdk/lib/html/scripts/htmldartgenerator.py

Index: sdk/lib/html/scripts/htmldartgenerator.py
diff --git a/sdk/lib/html/scripts/htmldartgenerator.py b/sdk/lib/html/scripts/htmldartgenerator.py
index 0e109da0f5c80143b3a1f4fee86b4b455e34569d..70eb2f27902884375dc465d45d5e384a0642ef9c 100644
--- a/sdk/lib/html/scripts/htmldartgenerator.py
+++ b/sdk/lib/html/scripts/htmldartgenerator.py
@@ -32,14 +32,16 @@ class HtmlDartGenerator(object):
     """ Emits the MDN dartdoc comment for an attribute.
     """
     dom_name = DartDomNameOfAttribute(attribute)
-    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */',
+    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */\n'
+                               '  /// @docsEditable',
         DOMINTERFACE=attribute.doc_js_interface_name,
         DOMNAME=dom_name)
 
   def EmitOperationDocumentation(self, operation):
     """ Emits the MDN dartdoc comment for an operation.
     """
-    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */',
+    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */\n'

[blois, 2012/11/19 23:19:06]

Seems odd to have two doc comments- can we just roll them into one? Or make them
the same style?

+                               '  /// @docsEditable',
         DOMINTERFACE=operation.overloads[0].doc_js_interface_name,
         DOMNAME=operation.name)
 
@@ -48,7 +50,7 @@ class HtmlDartGenerator(object):
         '\n  /**'
         '\n   * @domName EventTarget.addEventListener, '
         'EventTarget.removeEventListener, EventTarget.dispatchEvent'
-        '\n   */'
+        '\n   */\n  /// @docsEditable'
         '\n  $TYPE get on =>\n    new $TYPE(this);\n',
         TYPE=events_class_name)