Lines Matching defs:video
17 // The window is hidden if the video has not loaded yet.
30 document.querySelector('#video-player').setAttribute('disabled', 'true');
32 // Detach the video element, since it may be unreliable and reset stored
37 // Avoid reusing a video element.
38 video.parentNode.removeChild(video);
39 video = null;
44 * @param {Element} videoContainer Container for the video element.
45 * @param {Element} controlsContainer Container for video controls.
104 * Restore the state after the video is loaded.
124 var video;
131 * Initialize the video player window.
140 document.querySelector('#video-player'),
141 document.querySelector('#video-container'),
147 // If the video player is starting before the first instance of the File
168 * Closes video player when a volume containing the played item is unmounted.
194 document.querySelector('#video-player').removeAttribute('disabled');
219 // Detach the previous video element, if exists.
220 if (video) {
221 video.parentNode.removeChild(video);
224 video = document.createElement('video');
225 document.querySelector('#video-container').appendChild(video);
226 controls.attachMedia(video);
228 video.src = src;
229 video.load();
230 video.addEventListener('loadedmetadata', function() {
235 var aspect = video.videoWidth / video.videoHeight;
236 var newWidth = video.videoWidth;
237 var newHeight = video.videoHeight + TITLE_HEIGHT;
268 // Resolve real filesystem path of the current video.
272 var video = document.querySelector('video');
273 if (video.src != src) return;
