| OLD | NEW | 
|   1 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file |   1 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file | 
|   2 // for details. All rights reserved. Use of this source code is governed by a |   2 // for details. All rights reserved. Use of this source code is governed by a | 
|   3 // BSD-style license that can be found in the LICENSE file. |   3 // BSD-style license that can be found in the LICENSE file. | 
|   4  |   4  | 
|   5 // WARNING: Do not edit - generated code. |   5 // WARNING: Do not edit - generated code. | 
|   6  |   6  | 
|   7 interface HTMLDocument extends Document { |   7 interface HTMLDocument extends Document { | 
|   8  |   8  | 
|   9   Element get activeElement(); |   9   final Element activeElement; | 
|  10  |  10  | 
|  11   String get alinkColor(); |  11   String alinkColor; | 
|  12  |  12  | 
|  13   void set alinkColor(String value); |  13   HTMLAllCollection all; | 
|  14  |  14  | 
|  15   HTMLAllCollection get all(); |  15   String bgColor; | 
|  16  |  16  | 
|  17   void set all(HTMLAllCollection value); |  17   final String compatMode; | 
|  18  |  18  | 
|  19   String get bgColor(); |  19   String designMode; | 
|  20  |  20  | 
|  21   void set bgColor(String value); |  21   String dir; | 
|  22  |  22  | 
|  23   String get compatMode(); |  23   final HTMLCollection embeds; | 
|  24  |  24  | 
|  25   String get designMode(); |  25   String fgColor; | 
|  26  |  26  | 
|  27   void set designMode(String value); |  27   String linkColor; | 
|  28  |  28  | 
|  29   String get dir(); |  29   final HTMLCollection plugins; | 
|  30  |  30  | 
|  31   void set dir(String value); |  31   final HTMLCollection scripts; | 
|  32  |  32  | 
|  33   HTMLCollection get embeds(); |  33   String vlinkColor; | 
|  34  |  | 
|  35   String get fgColor(); |  | 
|  36  |  | 
|  37   void set fgColor(String value); |  | 
|  38  |  | 
|  39   String get linkColor(); |  | 
|  40  |  | 
|  41   void set linkColor(String value); |  | 
|  42  |  | 
|  43   HTMLCollection get plugins(); |  | 
|  44  |  | 
|  45   HTMLCollection get scripts(); |  | 
|  46  |  | 
|  47   String get vlinkColor(); |  | 
|  48  |  | 
|  49   void set vlinkColor(String value); |  | 
|  50  |  34  | 
|  51   void captureEvents(); |  35   void captureEvents(); | 
|  52  |  36  | 
|  53   void clear(); |  37   void clear(); | 
|  54  |  38  | 
|  55   void close(); |  39   void close(); | 
|  56  |  40  | 
|  57   bool hasFocus(); |  41   bool hasFocus(); | 
|  58  |  42  | 
|  59   void open(); |  43   void open(); | 
|  60  |  44  | 
|  61   void releaseEvents(); |  45   void releaseEvents(); | 
|  62  |  46  | 
|  63   void write(String text); |  47   void write(String text); | 
|  64  |  48  | 
|  65   void writeln(String text); |  49   void writeln(String text); | 
|  66 } |  50 } | 
| OLD | NEW |