fix(present): formule boven het logo, en embed stoppen bij verlaten dia (#931, #932) #935

Merged

brenno merged 1 commit from fix/present-formula-logo-embed into main

2026-07-27 23:32:21 +00:00

brenno commented

2026-07-27 23:32:11 +00:00

Owner

Twee bevindingen uit de proefpresentatie (dia 34 en 35). De derde, mermaid-zoom (#930), volgt in een aparte PR.

#931 — formule loopt door het logo bij presentatiemaat. _PreviewScaffold reserveerde de logostrook als padding binnen de kolom die de FittedBox(scaleDown) omlaagschaalt; bij hoge inhoud kromp die strook mee terwijl het logo vast bleef. Math.tex schaalt niet lineair met de lettergrootte (delimiters/breukstrepen in discrete maten), dus bij de grote maat ging het net mis en bij de kleine preview niet. De strook wordt nu búiten de FittedBox gereserveerd — schaalonafhankelijk, preview == presentatie. Binnenmarges houden de oorspronkelijke totale ruimte aan, dus passende inhoud verandert niet.

#932 — YouTube/Vimeo-embed blijft doorspelen na verlaten dia. dispose stopte de WebViewController niet; op macOS (WKWebView) speelt die door. Bij verlaten (en bij online media uit) navigeert de webview nu naar een lege pagina, wat de speler en zijn geluid sloopt. De navigatiepoort laat die ene lege pagina bewust door.

Tests. free_markdown_logo_clearance_test meet dat de formule bij grote én kleine maat boven de logostrook blijft (rood op de oude code: ~22px overlap). media_previews_video_coverage_test vangt via de nep-WebViewPlatform de about:blank-navigatie bij verlaten en bij het uitzetten van online media.

make check groen (86,7% dekking, per-bestandsvloer 0).

Twee bevindingen uit de proefpresentatie (dia 34 en 35). De derde, mermaid-zoom (#930), volgt in een aparte PR. **#931 — formule loopt door het logo bij presentatiemaat.** `_PreviewScaffold` reserveerde de logostrook als padding *binnen* de kolom die de `FittedBox(scaleDown)` omlaagschaalt; bij hoge inhoud kromp die strook mee terwijl het logo vast bleef. `Math.tex` schaalt niet lineair met de lettergrootte (delimiters/breukstrepen in discrete maten), dus bij de grote maat ging het net mis en bij de kleine preview niet. De strook wordt nu búiten de `FittedBox` gereserveerd — schaalonafhankelijk, preview == presentatie. Binnenmarges houden de oorspronkelijke totale ruimte aan, dus passende inhoud verandert niet. **#932 — YouTube/Vimeo-embed blijft doorspelen na verlaten dia.** `dispose` stopte de `WebViewController` niet; op macOS (WKWebView) speelt die door. Bij verlaten (en bij online media uit) navigeert de webview nu naar een lege pagina, wat de speler en zijn geluid sloopt. De navigatiepoort laat die ene lege pagina bewust door. **Tests.** `free_markdown_logo_clearance_test` meet dat de formule bij grote én kleine maat boven de logostrook blijft (rood op de oude code: ~22px overlap). `media_previews_video_coverage_test` vangt via de nep-`WebViewPlatform` de `about:blank`-navigatie bij verlaten en bij het uitzetten van online media. `make check` groen (86,7% dekking, per-bestandsvloer 0).

brenno added 1 commit

2026-07-27 23:32:11 +00:00

fix(present): formule boven het logo houden en embed stoppen bij verlaten dia (#931 , #932 )

scans / scans (pull_request) Successful in 3m21s

Details

5729f4f7c8

Twee bevindingen uit de proefpresentatie.

#931 — Een LaTeX-formule op een free-markdown-dia liep bij presentatiemaat door
het logo, terwijl hij in de kleine preview nog paste. `_PreviewScaffold`
reserveerde de logo-ruimte als padding binnen de kolom die de
`FittedBox(scaleDown)` als geheel omlaagschaalt; zodra de inhoud te hoog werd,
kromp die strook mee terwijl het logo-overlay op een vaste plek bleef. Omdat
`Math.tex` niet lineair met de lettergrootte schaalt (breukstrepen en
`\left(\right)`-delimiters springen in discrete maten), ging een formule bij de
grote maat net over de grens die bij de kleine preview nog paste. De logostrook
wordt nu buiten de `FittedBox` gereserveerd, schaalonafhankelijk; de binnenmarges
houden de oorspronkelijke totale ruimte aan, dus inhoud die al paste verandert
niet.

#932 — Een YouTube/Vimeo-embed bleef doorspelen na het verlaten van de dia.
`dispose` ruimde alleen de playhead-bus op; de `WebViewController` kreeg geen
stopopdracht, en op macOS (WKWebView) speelt de speler dan door. Bij het verlaten
(dispose, en wanneer online media uitgaat) navigeert de webview nu naar een lege
pagina, wat de speler en zijn geluid sloopt. De navigatiepoort laat die ene lege
pagina bewust door.

Tests: free_markdown_logo_clearance_test meet dat de formule bij grote én kleine
maat boven de logostrook blijft; media_previews_video_coverage_test vangt via de
nep-WebViewPlatform de `about:blank`-navigatie bij verlaten en bij het uitzetten
van online media.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

brenno merged commit 934971584b into main

2026-07-27 23:32:21 +00:00

brenno deleted branch fix/present-formula-logo-embed

2026-07-27 23:32:22 +00:00

brenno referenced this pull request from a commit

2026-07-27 23:32:23 +00:00

Merge pull request 'fix(present): formule boven het logo, en embed stoppen bij verlaten dia (#931, #932)' (#935) from fix/present-formula-logo-embed into main

brenno referenced this pull request

2026-07-27 23:33:05 +00:00

Free-markdown formule loopt door het logo bij presentatiemaat (preview ≠ echt) #931

brenno referenced this pull request

2026-07-27 23:33:07 +00:00