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 MarqueeElement extends Element { | |
8 | |
9 String get behavior(); | |
10 | |
11 void set behavior(String value); | |
12 | |
13 String get bgColor(); | |
14 | |
15 void set bgColor(String value); | |
16 | |
17 String get direction(); | |
18 | |
19 void set direction(String value); | |
20 | |
21 String get height(); | |
22 | |
23 void set height(String value); | |
24 | |
25 int get hspace(); | |
26 | |
27 void set hspace(int value); | |
28 | |
29 int get loop(); | |
30 | |
31 void set loop(int value); | |
32 | |
33 int get scrollAmount(); | |
34 | |
35 void set scrollAmount(int value); | |
36 | |
37 int get scrollDelay(); | |
38 | |
39 void set scrollDelay(int value); | |
40 | |
41 bool get trueSpeed(); | |
42 | |
43 void set trueSpeed(bool value); | |
44 | |
45 int get vspace(); | |
46 | |
47 void set vspace(int value); | |
48 | |
49 String get width(); | |
50 | |
51 void set width(String value); | |
52 | |
53 void start(); | |
54 | |
55 void stop(); | |
56 } | |
OLD | NEW |