Don't hide header when moused over player controls

src/renderer/lib/state.js

@@ -73,7 +73,8 @@ function getDefaultState () {
      */
     getPlayingTorrentSummary,
     getPlayingFileSummary,
-    getExternalPlayerName
+    getExternalPlayerName,
+    shouldHidePlayerControls
   }
 }
 
@@ -180,6 +181,16 @@ function getExternalPlayerName () {
   return path.basename(playerPath).split('.')[0]
 }
 
+function shouldHidePlayerControls () {
+  return this.location.url() === 'player' &&
+    this.playing.mouseStationarySince !== 0 &&
+    new Date().getTime() - this.playing.mouseStationarySince > 2000 &&
+    !this.playing.mouseInControls &&
+    !this.playing.isPaused &&
+    this.playing.location === 'local' &&
+    this.playing.playbackRate === 1
+}
+
 function load (cb) {
   appConfig.read(function (err, saved) {
     if (err || !saved.version) {