OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 part of html; | 5 part of html; |
6 $ANNOTATIONS | 6 $ANNOTATIONS |
7 class $CLASSNAME$EXTENDS$IMPLEMENTS native "@*DOMWindow" { | 7 class $CLASSNAME$EXTENDS$IMPLEMENTS native "@*DOMWindow" { |
8 | 8 |
9 Document get document => JS('Document', '#.document', this); | 9 Document get document => JS('Document', '#.document', this); |
10 | 10 |
(...skipping 138 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
149 /** | 149 /** |
150 * Register a [port] on this window under the given [name]. This | 150 * Register a [port] on this window under the given [name]. This |
151 * port may be retrieved by any isolate (or JavaScript script) | 151 * port may be retrieved by any isolate (or JavaScript script) |
152 * running in this window. | 152 * running in this window. |
153 */ | 153 */ |
154 void registerPort(String name, var port) { | 154 void registerPort(String name, var port) { |
155 var serialized = _serialize(port); | 155 var serialized = _serialize(port); |
156 document.documentElement.attributes['dart-port:$name'] = json.stringify(seri
alized); | 156 document.documentElement.attributes['dart-port:$name'] = json.stringify(seri
alized); |
157 } | 157 } |
158 | 158 |
159 /// @docsEditable true | |
160 @DomName('Window.console') | 159 @DomName('Window.console') |
161 Console get console => Console.safeConsole; | 160 Console get console => Console.safeConsole; |
162 | 161 |
163 $!MEMBERS | 162 $!MEMBERS |
164 } | 163 } |
OLD | NEW |