Merge branch 'develop' into remove-optimized-server

This commit is contained in:
Gauvain
2026-01-14 10:13:15 +01:00
committed by GitHub
22 changed files with 2374 additions and 30 deletions

View File

@@ -32,6 +32,9 @@ interface HeaderControlsProps {
// Playback speed props
playbackSpeed?: number;
setPlaybackSpeed?: (speed: number, scope: PlaybackSpeedScope) => void;
// Technical info props
showTechnicalInfo?: boolean;
onToggleTechnicalInfo?: () => void;
}
export const HeaderControls: FC<HeaderControlsProps> = ({
@@ -49,6 +52,8 @@ export const HeaderControls: FC<HeaderControlsProps> = ({
onZoomToggle,
playbackSpeed = 1.0,
setPlaybackSpeed,
showTechnicalInfo = false,
onToggleTechnicalInfo,
}) => {
const { settings } = useSettings();
const router = useRouter();
@@ -107,6 +112,8 @@ export const HeaderControls: FC<HeaderControlsProps> = ({
<DropdownView
playbackSpeed={playbackSpeed}
setPlaybackSpeed={setPlaybackSpeed}
showTechnicalInfo={showTechnicalInfo}
onToggleTechnicalInfo={onToggleTechnicalInfo}
/>
</View>
)}