Index: client/dom/generated/src/frog/HTMLSourceElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLSourceElement.dart b/client/dom/generated/src/frog/HTMLSourceElement.dart |
index 563ecc96f39e3d7ca6851a595281faa2e35c237c..21cce2312e5d80fa55e51dfa54ae19289b70c2e1 100644 |
--- a/client/dom/generated/src/frog/HTMLSourceElement.dart |
+++ b/client/dom/generated/src/frog/HTMLSourceElement.dart |
@@ -1,9 +1,15 @@ |
class HTMLSourceElement extends HTMLElement native "*HTMLSourceElement" { |
- String media; |
+ String get media() native "return this.media;"; |
- String src; |
+ void set media(String value) native "this.media = value;"; |
- String type; |
+ String get src() native "return this.src;"; |
+ |
+ void set src(String value) native "this.src = value;"; |
+ |
+ String get type() native "return this.type;"; |
+ |
+ void set type(String value) native "this.type = value;"; |
} |