Index: client/html/generated/src/interface/IFrameElement.dart |
diff --git a/client/html/generated/src/interface/IFrameElement.dart b/client/html/generated/src/interface/IFrameElement.dart |
deleted file mode 100644 |
index 52be7846cc8d29bd029130aa0c10b738edeb7a2d..0000000000000000000000000000000000000000 |
--- a/client/html/generated/src/interface/IFrameElement.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 IFrameElement extends Element { |
- |
- String get align(); |
- |
- void set align(String value); |
- |
- Document get contentDocument(); |
- |
- Window get contentWindow(); |
- |
- String get frameBorder(); |
- |
- void set frameBorder(String value); |
- |
- String get height(); |
- |
- void set height(String value); |
- |
- String get longDesc(); |
- |
- void set longDesc(String value); |
- |
- String get marginHeight(); |
- |
- void set marginHeight(String value); |
- |
- String get marginWidth(); |
- |
- void set marginWidth(String value); |
- |
- String get name(); |
- |
- void set name(String value); |
- |
- String get sandbox(); |
- |
- void set sandbox(String value); |
- |
- String get scrolling(); |
- |
- void set scrolling(String value); |
- |
- String get src(); |
- |
- void set src(String value); |
- |
- String get width(); |
- |
- void set width(String value); |
-} |