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(); |
-} |