| Index: client/html/generated/html/dartium/EventSource.dart
|
| diff --git a/client/html/generated/html/dartium/EventSource.dart b/client/html/generated/html/dartium/EventSource.dart
|
| index 08d6618d096170233b74131435bcba473ccd2761..f6a6985c813461fecdcb3def036768a5c7862c6a 100644
|
| --- a/client/html/generated/html/dartium/EventSource.dart
|
| +++ b/client/html/generated/html/dartium/EventSource.dart
|
| @@ -2,17 +2,17 @@
|
| class _EventSourceImpl extends _EventTargetImpl implements EventSource {
|
| _EventSourceImpl._wrap(ptr) : super._wrap(ptr);
|
|
|
| + _EventSourceEventsImpl get on() {
|
| + if (_on == null) _on = new _EventSourceEventsImpl(this);
|
| + return _on;
|
| + }
|
| +
|
| String get URL() => _wrap(_ptr.URL);
|
|
|
| int get readyState() => _wrap(_ptr.readyState);
|
|
|
| String get url() => _wrap(_ptr.url);
|
|
|
| - _EventSourceEventsImpl get on() {
|
| - if (_on == null) _on = new _EventSourceEventsImpl(this);
|
| - return _on;
|
| - }
|
| -
|
| void _addEventListener(String type, EventListener listener, [bool useCapture = null]) {
|
| if (useCapture === null) {
|
| _ptr.addEventListener(_unwrap(type), _unwrap(listener));
|
|
|