Index: client/html/generated/html/interface/FrameElement.dart |
diff --git a/client/html/generated/html/interface/FrameElement.dart b/client/html/generated/html/interface/FrameElement.dart |
deleted file mode 100644 |
index 35c46068eb158a890a96787a07336e5ba2686328..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/interface/FrameElement.dart |
+++ /dev/null |
@@ -1,36 +0,0 @@ |
-// Copyright (c) 2012, 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 FrameElement extends Element { |
- |
- final Document contentDocument; |
- |
- final Window contentWindow; |
- |
- String frameBorder; |
- |
- final int height; |
- |
- String location; |
- |
- String longDesc; |
- |
- String marginHeight; |
- |
- String marginWidth; |
- |
- String name; |
- |
- bool noResize; |
- |
- String scrolling; |
- |
- String src; |
- |
- final int width; |
- |
- SVGDocument getSVGDocument(); |
-} |