Index: tools/dom/templates/html/dart2js/impl_Window.darttemplate |
diff --git a/tools/dom/templates/html/dart2js/impl_Window.darttemplate b/tools/dom/templates/html/dart2js/impl_Window.darttemplate |
index 9e8674ba11721ac054a4dcc74b5c6ffce42f59e6..d90adb1cd0c5e5d52527cd65044f8f8a53fc0f0d 100644 |
--- a/tools/dom/templates/html/dart2js/impl_Window.darttemplate |
+++ b/tools/dom/templates/html/dart2js/impl_Window.darttemplate |
@@ -156,7 +156,7 @@ class $CLASSNAME$EXTENDS$IMPLEMENTS native "@*DOMWindow" { |
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; |