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 // WARNING: Do not edit - generated code. | 5 // WARNING: Do not edit - generated code. |
6 | 6 |
7 part of html; | 7 part of $LIBRARYNAME; |
8 | 8 |
9 $(ANNOTATIONS)class $CLASSNAME$EXTENDS$IMPLEMENTS$NATIVESPEC { | 9 $(ANNOTATIONS)class $CLASSNAME$EXTENDS$IMPLEMENTS$NATIVESPEC { |
10 $!MEMBERS | 10 $!MEMBERS |
11 @DomName('Document.body') | 11 @DomName('Document.body') |
12 BodyElement get body => document.$dom_body; | 12 BodyElement get body => document.$dom_body; |
13 | 13 |
14 @DomName('Document.body') | 14 @DomName('Document.body') |
15 void set body(BodyElement value) { | 15 void set body(BodyElement value) { |
16 document.$dom_body = value; | 16 document.$dom_body = value; |
17 } | 17 } |
(...skipping 108 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
126 @DomName('Document.webkitIsFullScreen') | 126 @DomName('Document.webkitIsFullScreen') |
127 bool get webkitIsFullScreen => document.$dom_webkitIsFullScreen; | 127 bool get webkitIsFullScreen => document.$dom_webkitIsFullScreen; |
128 | 128 |
129 @DomName('Document.webkitPointerLockElement') | 129 @DomName('Document.webkitPointerLockElement') |
130 Element get webkitPointerLockElement => | 130 Element get webkitPointerLockElement => |
131 document.$dom_webkitPointerLockElement; | 131 document.$dom_webkitPointerLockElement; |
132 | 132 |
133 @DomName('Document.webkitVisibilityState') | 133 @DomName('Document.webkitVisibilityState') |
134 String get webkitVisibilityState => document.$dom_webkitVisibilityState; | 134 String get webkitVisibilityState => document.$dom_webkitVisibilityState; |
135 } | 135 } |
OLD | NEW |