| Index: client/html/generated/src/interface/MarqueeElement.dart
|
| diff --git a/client/html/generated/src/interface/MarqueeElement.dart b/client/html/generated/src/interface/MarqueeElement.dart
|
| deleted file mode 100644
|
| index 973a67015c37ce94f4d2bc0803a12d9fb4ba47a4..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/src/interface/MarqueeElement.dart
|
| +++ /dev/null
|
| @@ -1,56 +0,0 @@
|
| -// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -// WARNING: Do not edit - generated code.
|
| -
|
| -interface MarqueeElement extends Element {
|
| -
|
| - String get behavior();
|
| -
|
| - void set behavior(String value);
|
| -
|
| - String get bgColor();
|
| -
|
| - void set bgColor(String value);
|
| -
|
| - String get direction();
|
| -
|
| - void set direction(String value);
|
| -
|
| - String get height();
|
| -
|
| - void set height(String value);
|
| -
|
| - int get hspace();
|
| -
|
| - void set hspace(int value);
|
| -
|
| - int get loop();
|
| -
|
| - void set loop(int value);
|
| -
|
| - int get scrollAmount();
|
| -
|
| - void set scrollAmount(int value);
|
| -
|
| - int get scrollDelay();
|
| -
|
| - void set scrollDelay(int value);
|
| -
|
| - bool get trueSpeed();
|
| -
|
| - void set trueSpeed(bool value);
|
| -
|
| - int get vspace();
|
| -
|
| - void set vspace(int value);
|
| -
|
| - String get width();
|
| -
|
| - void set width(String value);
|
| -
|
| - void start();
|
| -
|
| - void stop();
|
| -}
|
|
|