| Index: client/dom/generated/src/frog/DOMPlugin.dart
|
| diff --git a/client/dom/generated/src/frog/DOMPlugin.dart b/client/dom/generated/src/frog/DOMPlugin.dart
|
| index d1049485000e0bd8133f9d21ff8fb9006998acd3..4159d2ec358ce505b1a4706f539828f37fa94820 100644
|
| --- a/client/dom/generated/src/frog/DOMPlugin.dart
|
| +++ b/client/dom/generated/src/frog/DOMPlugin.dart
|
| @@ -1,13 +1,13 @@
|
|
|
| class _DOMPluginJs extends _DOMTypeJs implements DOMPlugin native "*DOMPlugin" {
|
|
|
| - String get description() native "return this.description;";
|
| + final String description;
|
|
|
| - String get filename() native "return this.filename;";
|
| + final String filename;
|
|
|
| - int get length() native "return this.length;";
|
| + final int length;
|
|
|
| - String get name() native "return this.name;";
|
| + final String name;
|
|
|
| _DOMMimeTypeJs item(int index) native;
|
|
|
|
|