| OLD | NEW |
| 1 | 1 |
| 2 class HTMLMediaElement extends HTMLElement native "*HTMLMediaElement" { | 2 class HTMLMediaElement extends HTMLElement native "*HTMLMediaElement" { |
| 3 | 3 |
| 4 static final int HAVE_CURRENT_DATA = 2; |
| 5 |
| 6 static final int HAVE_ENOUGH_DATA = 4; |
| 7 |
| 8 static final int HAVE_FUTURE_DATA = 3; |
| 9 |
| 10 static final int HAVE_METADATA = 1; |
| 11 |
| 12 static final int HAVE_NOTHING = 0; |
| 13 |
| 14 static final int NETWORK_EMPTY = 0; |
| 15 |
| 16 static final int NETWORK_IDLE = 1; |
| 17 |
| 18 static final int NETWORK_LOADING = 2; |
| 19 |
| 20 static final int NETWORK_NO_SOURCE = 3; |
| 21 |
| 4 bool autoplay; | 22 bool autoplay; |
| 5 | 23 |
| 6 TimeRanges buffered; | 24 TimeRanges buffered; |
| 7 | 25 |
| 8 bool controls; | 26 bool controls; |
| 9 | 27 |
| 10 String currentSrc; | 28 String currentSrc; |
| 11 | 29 |
| 12 num currentTime; | 30 num currentTime; |
| 13 | 31 |
| (...skipping 46 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 60 int webkitVideoDecodedByteCount; | 78 int webkitVideoDecodedByteCount; |
| 61 | 79 |
| 62 String canPlayType(String type) native; | 80 String canPlayType(String type) native; |
| 63 | 81 |
| 64 void load() native; | 82 void load() native; |
| 65 | 83 |
| 66 void pause() native; | 84 void pause() native; |
| 67 | 85 |
| 68 void play() native; | 86 void play() native; |
| 69 } | 87 } |
| OLD | NEW |