Added default setting for mini player

materialious/src/lib/components/settings/Player.svelte

@@ -13,6 +13,7 @@
 		playerDefaultLanguage,
 		playerDefaultPlaybackSpeed,
 		playerDefaultQualityStore,
+		playerMiniplayerEnabled,
 		playerProxyVideosStore,
 		playerSavePlaybackPositionStore,
 		playerStatisticsByDefault,
@@ -71,7 +72,7 @@
 		bind:value={defaultLanguage}
 		onchange={() => playerDefaultLanguage.set(defaultLanguage)}
 	>
-		<option selected={$playerDefaultLanguage === "original"} value="original">Original</option>
+		<option selected={$playerDefaultLanguage === 'original'} value="original">Original</option>
 		{#each languageNames as language}
 			<option selected={$playerDefaultLanguage === language} value={language}
 				>{titleCase(language)}</option
@@ -154,6 +155,23 @@
 	</nav>
 </div>
 
+<div class="field no-margin">
+	<nav class="no-padding">
+		<div class="max">
+			<div>{$_('layout.player.miniPlayer')}</div>
+		</div>
+		<label class="switch" tabindex="0">
+			<input
+				type="checkbox"
+				bind:checked={$playerMiniplayerEnabled}
+				onclick={() => playerMiniplayerEnabled.set(!$playerMiniplayerEnabled)}
+				role="switch"
+			/>
+			<span></span>
+		</label>
+	</nav>
+</div>
+
 <div class="field no-margin">
 	<nav class="no-padding">
 		<div class="max">

materialious/src/lib/store.ts

@@ -59,6 +59,7 @@ export const playerDefaultLanguage = persisted('defaultLanguage', 'original');
 export const playerCCByDefault = persisted('CCByDefault', false);
 export const playerDefaultPlaybackSpeed: Writable<number> = persisted('defaultPlaybackSpeed', 1);
 export const playerStatisticsByDefault = persisted('playerStatistics', false);
+export const playerMiniplayerEnabled = persisted('miniplayerEnabled', true);
 export const playerPlaylistHistory: Writable<string[]> = writable([]);
 
 export const playerState: Writable<

materialious/src/routes/(app)/watch/[slug]/+page.svelte

@@ -17,6 +17,7 @@
 		authStore,
 		interfaceAutoExpandChapters,
 		interfaceAutoExpandComments,
+		playerMiniplayerEnabled,
 		playerPlaylistHistory,
 		playerState,
 		playerTheatreModeByDefaultStore,
@@ -287,7 +288,8 @@
 			playerElement?.paused ||
 			playerElement?.ended ||
 			playerElement?.currentTime === 0 ||
-			playerElement?.readyState === 2
+			playerElement?.readyState === 2 ||
+			!$playerMiniplayerEnabled
 		) {
 			playerState.set(undefined);
 		}