Forgot generated code for frog dom.

client/dom/generated/src/frog/HTMLDocument.dart

Index: client/dom/generated/src/frog/HTMLDocument.dart
diff --git a/client/dom/generated/src/frog/HTMLDocument.dart b/client/dom/generated/src/frog/HTMLDocument.dart
new file mode 100644
index 0000000000000000000000000000000000000000..5a117c6072f2fc25ef12a11194b1e70d595922d5
--- /dev/null
+++ b/client/dom/generated/src/frog/HTMLDocument.dart
@@ -0,0 +1,47 @@
+
+class HTMLDocument extends Document native "HTMLDocument" {
+
+  Element activeElement;
+
+  String alinkColor;
+
+  String bgColor;
+
+  String compatMode;
+
+  String designMode;
+
+  String dir;
+
+  HTMLCollection embeds;
+
+  String fgColor;
+
+  int height;
+
+  String linkColor;
+
+  HTMLCollection plugins;
+
+  HTMLCollection scripts;
+
+  String vlinkColor;
+
+  int width;
+
+  void captureEvents() native;
+
+  void clear() native;
+
+  void close() native;
+
+  bool hasFocus() native;
+
+  void open() native;
+
+  void releaseEvents() native;
+
+  void write(String text) native;
+
+  void writeln(String text) native;
+}