From 1b0833fb45b96088b370a27395b7824bfacca3e8 Mon Sep 17 00:00:00 2001 From: DC Date: Wed, 25 May 2016 21:50:24 -0700 Subject: [PATCH] Clean up player.js --- renderer/views/player.js | 77 +++++++++++++++++++++++++++++----------- 1 file changed, 57 insertions(+), 20 deletions(-) diff --git a/renderer/views/player.js b/renderer/views/player.js index 8fe5366d..039848df 100644 --- a/renderer/views/player.js +++ b/renderer/views/player.js @@ -37,7 +37,8 @@ function renderMedia (state) { // Unfortunately, play/pause can't be done just by modifying HTML. // Instead, grab the DOM node and play/pause it if necessary - var mediaElement = document.querySelector(state.playing.type) /* get the