OLD | NEW |
| (Empty) |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
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. | |
4 | |
5 // WARNING: Do not edit - generated code. | |
6 | |
7 interface IFrameElement extends Element { | |
8 | |
9 String get align(); | |
10 | |
11 void set align(String value); | |
12 | |
13 Document get contentDocument(); | |
14 | |
15 Window get contentWindow(); | |
16 | |
17 String get frameBorder(); | |
18 | |
19 void set frameBorder(String value); | |
20 | |
21 String get height(); | |
22 | |
23 void set height(String value); | |
24 | |
25 String get longDesc(); | |
26 | |
27 void set longDesc(String value); | |
28 | |
29 String get marginHeight(); | |
30 | |
31 void set marginHeight(String value); | |
32 | |
33 String get marginWidth(); | |
34 | |
35 void set marginWidth(String value); | |
36 | |
37 String get name(); | |
38 | |
39 void set name(String value); | |
40 | |
41 String get sandbox(); | |
42 | |
43 void set sandbox(String value); | |
44 | |
45 String get scrolling(); | |
46 | |
47 void set scrolling(String value); | |
48 | |
49 String get src(); | |
50 | |
51 void set src(String value); | |
52 | |
53 String get width(); | |
54 | |
55 void set width(String value); | |
56 } | |
OLD | NEW |