Index: client/dom/generated/src/frog/ErrorEvent.dart |
diff --git a/client/dom/generated/src/frog/ErrorEvent.dart b/client/dom/generated/src/frog/ErrorEvent.dart |
index b2fe931c998d3c3ce5ecb253f63384b46af912ca..f838a4332b13f3650182724f24ef1f0016285bc2 100644 |
--- a/client/dom/generated/src/frog/ErrorEvent.dart |
+++ b/client/dom/generated/src/frog/ErrorEvent.dart |
@@ -1,9 +1,9 @@ |
class ErrorEvent extends Event native "*ErrorEvent" { |
- String filename; |
+ String get filename() native "return this.filename;"; |
- int lineno; |
+ int get lineno() native "return this.lineno;"; |
- String message; |
+ String get message() native "return this.message;"; |
} |