mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-08 12:37:37 +00:00
07c1c4a9cc
This patch performs the following renaming: AnimationPlayer::GetCurrentTime -> GetCurrentTimeAsDouble AnimationPlayer::GetCurrentTimeDuration -> GetCurrentTime AnimationTimeline::GetCurrentTime -> GetCurrentTimeAsDouble AnimationTimeline::GetCurrentTimeDuration -> GetCurrentTime
21 lines
836 B
Plaintext
21 lines
836 B
Plaintext
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
*
|
|
* The origin of this IDL file is
|
|
* http://dev.w3.org/fxtf/web-animations/#the-animationtimeline-interface
|
|
*
|
|
* Copyright © 2014 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C
|
|
* liability, trademark and document use rules apply.
|
|
*/
|
|
|
|
[Pref="dom.animations-api.core.enabled"]
|
|
interface AnimationTimeline {
|
|
[BinaryName="currentTimeAsDouble"]
|
|
readonly attribute double? currentTime;
|
|
// Not yet implemented:
|
|
// AnimationPlayer play (optional TimedItem? source = null);
|
|
// sequence<AnimationPlayer> getAnimationPlayers ();
|
|
};
|