OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2011 Apple Inc. All rights reserved. | 2 * Copyright (C) 2011 Apple Inc. All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions | 5 * modification, are permitted provided that the following conditions |
6 * are met: | 6 * are met: |
7 * 1. Redistributions of source code must retain the above copyright | 7 * 1. Redistributions of source code must retain the above copyright |
8 * notice, this list of conditions and the following disclaimer. | 8 * notice, this list of conditions and the following disclaimer. |
9 * 2. Redistributions in binary form must reproduce the above copyright | 9 * 2. Redistributions in binary form must reproduce the above copyright |
10 * notice, this list of conditions and the following disclaimer in the | 10 * notice, this list of conditions and the following disclaimer in the |
(...skipping 152 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
163 // When the user agent is to seek the media controller to a particular new p
layback position, | 163 // When the user agent is to seek the media controller to a particular new p
layback position, |
164 // it must follow these steps: | 164 // it must follow these steps: |
165 // If the new playback position is less than zero, then set it to zero. | 165 // If the new playback position is less than zero, then set it to zero. |
166 time = max(0.0, time); | 166 time = max(0.0, time); |
167 | 167 |
168 // If the new playback position is greater than the media controller duratio
n, then set it | 168 // If the new playback position is greater than the media controller duratio
n, then set it |
169 // to the media controller duration. | 169 // to the media controller duration. |
170 time = min(time, duration()); | 170 time = min(time, duration()); |
171 | 171 |
172 // Set the media controller position to the new playback position. | 172 // Set the media controller position to the new playback position. |
| 173 m_position = time; |
173 m_clock->setCurrentTime(time); | 174 m_clock->setCurrentTime(time); |
174 | 175 |
175 // Seek each slaved media element to the new playback position relative to t
he media element timeline. | 176 // Seek each slaved media element to the new playback position relative to t
he media element timeline. |
176 for (size_t index = 0; index < m_mediaElements.size(); ++index) | 177 for (size_t index = 0; index < m_mediaElements.size(); ++index) |
177 m_mediaElements[index]->seek(time, exceptionState); | 178 m_mediaElements[index]->seek(time, exceptionState); |
178 | 179 |
179 scheduleTimeupdateEvent(); | 180 scheduleTimeupdateEvent(); |
180 } | 181 } |
181 | 182 |
182 void MediaController::unpause() | 183 void MediaController::unpause() |
(...skipping 430 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
613 { | 614 { |
614 double now = WTF::currentTime(); | 615 double now = WTF::currentTime(); |
615 double timedelta = now - m_previousTimeupdateTime; | 616 double timedelta = now - m_previousTimeupdateTime; |
616 | 617 |
617 if (timedelta < maxTimeupdateEventFrequency) | 618 if (timedelta < maxTimeupdateEventFrequency) |
618 return; | 619 return; |
619 | 620 |
620 scheduleEvent(EventTypeNames::timeupdate); | 621 scheduleEvent(EventTypeNames::timeupdate); |
621 m_previousTimeupdateTime = now; | 622 m_previousTimeupdateTime = now; |
622 } | 623 } |
OLD | NEW |