W3C home > Mailing lists > Public > public-fx@w3.org > October to December 2014

[web-animations] Setting AnimationPlayer.startTime value to null

From: Сергей Грехов <sgrekhov@unipro.ru>
Date: Tue, 14 Oct 2014 14:00:59 +0700
Message-ID: <364bd7dc2ea219abf446e770f75b4650.squirrel@unipro.ru>
To: public-fx@w3.org
Cc: dom@unipro.ru
Hi there,

Accorrding the specification AnimationPlayer.startTime attribute is
nullable. But Update player start time procedure
(http://w3c.github.io/web-animations/#update-the-player-start-time) does
not check if new value is null.

The should be checking for null value. Otherwise some steps of the
procedure (for example "2. Let start time offset be new start time −
effective start time.") won't work.

--
Regards,
Sergey G. Grekhov
Received on Tuesday, 14 October 2014 07:03:43 UTC

This archive was generated by hypermail 2.3.1 : Monday, 22 June 2015 03:33:53 UTC