From 24bc40c95e951b37dc28207cd45614fdd89167d9 Mon Sep 17 00:00:00 2001
From: David Ernst <git@dsernst.com>
Date: Fri, 1 May 2020 22:06:05 -0700
Subject: [PATCH] Fix preview border rendering

---
 src/renderer/pages/player-page.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/renderer/pages/player-page.js b/src/renderer/pages/player-page.js
index 783dfaf5..f37365b4 100644
--- a/src/renderer/pages/player-page.js
+++ b/src/renderer/pages/player-page.js
@@ -790,7 +790,7 @@ function renderPreview (state) {
   const previewEl = document.querySelector('video#preview')
   if (previewEl !== null && !preview.hide) {
     previewEl.currentTime = preview.time
-    width = (previewEl.videoWidth / previewEl.videoHeight) * height
+    width = Math.floor((previewEl.videoWidth / previewEl.videoHeight) * height)
   }
 
   const windowWidth = document.querySelector('body').clientWidth
@@ -798,10 +798,11 @@ function renderPreview (state) {
 
   return (
     <div style={{ position: 'absolute', bottom: 50, left: xPos, display: preview.hide && 'none' }} key='preview'>
-      <div style={{ width, height, backgroundColor: 'black', border: '2px solid lightgrey', borderRadius: 2 }}>
+      <div style={{ width, height, backgroundColor: 'black' }}>
         <video
           src={Playlist.getCurrentLocalURL(state)}
           id='preview'
+          style={{ border: '1px solid lightgrey', borderRadius: 2 }}
         />
       </div>
       <p style={{ textAlign: 'center', margin: 5, textShadow: '0 0 2px rgba(0,0,0,.5)', color: '#eee' }}>{formatTime(preview.time, state.playing.duration)}</p>