Add option "Close player on end of video"

Fix #442

Shared/Settings/PlayerSettings.swift

@@ -13,6 +13,7 @@ struct PlayerSettings: View {
     #endif
     @Default(.expandVideoDescription) private var expandVideoDescription
     @Default(.pauseOnHidingPlayer) private var pauseOnHidingPlayer
+    @Default(.closeVideoOnEOF) private var closeVideoOnEOF
     #if os(iOS)
         @Default(.honorSystemOrientationLock) private var honorSystemOrientationLock
         @Default(.enterFullscreenInLandscape) private var enterFullscreenInLandscape
@@ -66,6 +67,7 @@ struct PlayerSettings: View {
                     sourcePicker
                 }
                 pauseOnHidingPlayerToggle
+                closeVideoOnEOFToggle
                 #if !os(macOS)
                     pauseOnEnteringBackgroundToogle
                 #endif
@@ -192,6 +194,10 @@ struct PlayerSettings: View {
         Toggle("Pause when player is closed", isOn: $pauseOnHidingPlayer)
     }
 
+    private var closeVideoOnEOFToggle: some View {
+        Toggle("Close video and player on end", isOn: $closeVideoOnEOF)
+    }
+
     #if !os(macOS)
         private var pauseOnEnteringBackgroundToogle: some View {
             Toggle("Pause when entering background", isOn: $pauseOnEnteringBackground)

Shared/Settings/SettingsView.swift

@@ -245,7 +245,7 @@ struct SettingsView: View {
             case .browsing:
                 return 880
             case .player:
-                return 450
+                return 480
             case .controls:
                 return 920
             case .quality: