| Index: client/dom/generated/src/interface/WebKitAnimation.dart
|
| diff --git a/client/dom/generated/src/interface/WebKitAnimation.dart b/client/dom/generated/src/interface/WebKitAnimation.dart
|
| index 7b9841d30c8d52b7564493fd3101f7c6309b5e08..88d06f4a93cc89c02c7c85a0ab548f44d6e204c4 100644
|
| --- a/client/dom/generated/src/interface/WebKitAnimation.dart
|
| +++ b/client/dom/generated/src/interface/WebKitAnimation.dart
|
| @@ -18,25 +18,23 @@ interface WebKitAnimation {
|
|
|
| static final int FILL_NONE = 0;
|
|
|
| - num get delay();
|
| + final num delay;
|
|
|
| - int get direction();
|
| + final int direction;
|
|
|
| - num get duration();
|
| + final num duration;
|
|
|
| - num get elapsedTime();
|
| + num elapsedTime;
|
|
|
| - void set elapsedTime(num value);
|
| + final bool ended;
|
|
|
| - bool get ended();
|
| + final int fillMode;
|
|
|
| - int get fillMode();
|
| + final int iterationCount;
|
|
|
| - int get iterationCount();
|
| + final String name;
|
|
|
| - String get name();
|
| -
|
| - bool get paused();
|
| + final bool paused;
|
|
|
| void pause();
|
|
|
|
|