| Index: client/html/generated/src/interface/AreaElement.dart
|
| diff --git a/client/html/generated/src/interface/AreaElement.dart b/client/html/generated/src/interface/AreaElement.dart
|
| deleted file mode 100644
|
| index 1ba639d2b1db5d39daad98e67d621bc4a929df13..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/src/interface/AreaElement.dart
|
| +++ /dev/null
|
| @@ -1,54 +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 AreaElement extends Element {
|
| -
|
| - String get accessKey();
|
| -
|
| - void set accessKey(String value);
|
| -
|
| - String get alt();
|
| -
|
| - void set alt(String value);
|
| -
|
| - String get coords();
|
| -
|
| - void set coords(String value);
|
| -
|
| - String get hash();
|
| -
|
| - String get host();
|
| -
|
| - String get hostname();
|
| -
|
| - String get href();
|
| -
|
| - void set href(String value);
|
| -
|
| - bool get noHref();
|
| -
|
| - void set noHref(bool value);
|
| -
|
| - String get pathname();
|
| -
|
| - String get ping();
|
| -
|
| - void set ping(String value);
|
| -
|
| - String get port();
|
| -
|
| - String get protocol();
|
| -
|
| - String get search();
|
| -
|
| - String get shape();
|
| -
|
| - void set shape(String value);
|
| -
|
| - String get target();
|
| -
|
| - void set target(String value);
|
| -}
|
|
|