| Index: client/base/AnimationScheduler.dart
|
| diff --git a/client/base/AnimationScheduler.dart b/client/base/AnimationScheduler.dart
|
| index f10f938ec3137b8e28db29db592908993e99be8b..02605e4369a6dadb782a21401b39493738dc2ca4 100644
|
| --- a/client/base/AnimationScheduler.dart
|
| +++ b/client/base/AnimationScheduler.dart
|
| @@ -33,9 +33,9 @@ class CallbackData {
|
| // TODO(jacobr): use window.requestAnimationFrame when it is available and
|
| // 60fps for the current browser.
|
| class AnimationScheduler {
|
| - static final FRAMES_PER_SECOND = 60;
|
| - static final MS_PER_FRAME = 1000 ~/ FRAMES_PER_SECOND;
|
| - static final USE_INTERVALS = false;
|
| + static final int FRAMES_PER_SECOND = 60;
|
| + static final int MS_PER_FRAME = 1000 ~/ FRAMES_PER_SECOND;
|
| + static final bool USE_INTERVALS = false;
|
|
|
| /** List of callbacks to be executed next animation frame. */
|
| List<CallbackData> _callbacks;
|
|
|