Index: client/dom/generated/src/frog/HTMLMediaElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLMediaElement.dart b/client/dom/generated/src/frog/HTMLMediaElement.dart |
index e6a7c5dd7e5fd6938560d40827b6eb67bd3a04db..d84a1757e5557b56141aecb2160797cb78c3eae6 100644 |
--- a/client/dom/generated/src/frog/HTMLMediaElement.dart |
+++ b/client/dom/generated/src/frog/HTMLMediaElement.dart |
@@ -1,6 +1,12 @@ |
class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement native "*HTMLMediaElement" { |
+ static final int EOS_DECODE_ERR = 2; |
+ |
+ static final int EOS_NETWORK_ERR = 1; |
+ |
+ static final int EOS_NO_ERROR = 0; |
+ |
static final int HAVE_CURRENT_DATA = 2; |
static final int HAVE_ENOUGH_DATA = 4; |
@@ -19,6 +25,12 @@ class _HTMLMediaElementJs extends _HTMLElementJs implements HTMLMediaElement nat |
static final int NETWORK_NO_SOURCE = 3; |
+ static final int SOURCE_CLOSED = 0; |
+ |
+ static final int SOURCE_ENDED = 2; |
+ |
+ static final int SOURCE_OPEN = 1; |
+ |
bool autoplay; |
final _TimeRangesJs buffered; |