LibreKAT/Ocideck

Watch

Fork 1

Paginaweergave kan een lange voetnoot onderaan de pagina afknippen #1655

New issue

Closed

opened 2026-08-21 12:00:31 +00:00 by brenno · 1 comment

brenno commented

2026-08-21 12:00:31 +00:00

Owner

Probleem

Een voetnoot die onderaan hetzelfde vel moet staan wordt als één los, onderaan gepositioneerd blok behandeld. Als die noot plus tussenruimte hoger is dan de beschikbare pagina, kan zij niet over pagina's worden verdeeld en raakt zij buiten het vel afgeknipt/overlapt zij de hoofdtekst.

Reproductie

Kies voetnoten onderaan de pagina.
Maak één voetnoot langer dan de beschikbare teksthoogte van een vel.
Open de paginaweergave.

Verwacht

Een te lange noot wordt veilig doorgeschoven of over pagina's verdeeld, zonder clipping of overlap.

Technische aanwijzing

lib/widgets/reader/paged_document_view.dart reserveert de volledige noothoogte bij één verwijzend blok en tekent de noot afzonderlijk onderaan één _sheet.

Gevonden bij audit van commit d439638c6b.

## Probleem Een voetnoot die onderaan hetzelfde vel moet staan wordt als één los, onderaan gepositioneerd blok behandeld. Als die noot plus tussenruimte hoger is dan de beschikbare pagina, kan zij niet over pagina's worden verdeeld en raakt zij buiten het vel afgeknipt/overlapt zij de hoofdtekst. ## Reproductie 1. Kies voetnoten onderaan de pagina. 2. Maak één voetnoot langer dan de beschikbare teksthoogte van een vel. 3. Open de paginaweergave. ## Verwacht Een te lange noot wordt veilig doorgeschoven of over pagina's verdeeld, zonder clipping of overlap. ## Technische aanwijzing lib/widgets/reader/paged_document_view.dart reserveert de volledige noothoogte bij één verwijzend blok en tekent de noot afzonderlijk onderaan één _sheet. Gevonden bij audit van commit d439638c6bd1b519d68d87680cb022b7d5eddc85.

brenno added the

bug

triage

labels

2026-08-21 12:00:31 +00:00

brenno added

accepted

and removed

triage

labels

2026-08-21 22:52:16 +00:00

brenno commented

2026-08-21 22:52:16 +00:00

Author

Owner

Triage: accepted

Bevestigd tegen main (e93ef205c). De noot eist ruimte op bij het blok dat ernaar verwijst (_reservedRoom, lib/widgets/reader/paged_document_view.dart) en wordt daarna als één Positioned(bottom: …) in de vel-Stack getekend. Die stack heeft de vaste velhoogte; een noot die hoger is dan het tekstvlak groeit naar boven weg en wordt afgeknipt of legt zich over de tekst heen.

documentPageOffsets vangt dit niet af: de tak height + reservedFor(index) > pageHeight (lib/services/document_pagination.dart) verdeelt het verwijzende blok over meerdere vensters, maar de noot zelf blijft één ondeelbaar ding op één vel.

Oplossingsrichting

Begrens wat een noot onderaan een vel mag opeisen. Is noothoogte + _noteGapPx groter dan het beschikbare tekstvlak, dan hoort die noot niet onderaan de bladzijde maar in de stroom — dat is de eindnotenweg, en die verdeelt zich al netjes over vellen. Concreet: in _notesPerPage/_reservedRoom de noten die niet passen apart houden, ze niet reserveren en niet onderaan tekenen, en ze als gewoon blok laten meelopen. Het merkteken en het nummer blijven staan, dus de lezer raakt de noot niet kwijt.

Tweede keus als dat te veel schuift: de noot laten afbreken over opeenvolgende vellen. Dat vraagt een noot-in-stukken-model en is een aanzienlijk grotere ingreep — niet nu.

Regressietest (verplicht)

test/paged_document_view_test.dart: footnotePlacement=page met één noot van ruim een paginahoogte → geen afknipping (de getekende noot past binnen het vel op elk vel) en de noottekst is in de boom aanwezig.

Kosten

Eén bestand, plus test. De lastige kant is dat noothoogtes pas ná de meetronde bekend zijn; de beslissing hoort dus in _onMeasured/_pages, niet in _measure.

Prioriteit

Middel: zeldzaam, maar de uitkomst is onleesbare of verdwenen tekst.

## Triage: accepted **Bevestigd tegen `main` (e93ef205c).** De noot eist ruimte op bij het blok dat ernaar verwijst (`_reservedRoom`, `lib/widgets/reader/paged_document_view.dart`) en wordt daarna als één `Positioned(bottom: …)` in de vel-`Stack` getekend. Die stack heeft de vaste velhoogte; een noot die hoger is dan het tekstvlak groeit naar boven weg en wordt afgeknipt of legt zich over de tekst heen. `documentPageOffsets` vangt dit niet af: de tak `height + reservedFor(index) > pageHeight` (`lib/services/document_pagination.dart`) verdeelt het *verwijzende blok* over meerdere vensters, maar de noot zelf blijft één ondeelbaar ding op één vel. ## Oplossingsrichting Begrens wat een noot onderaan een vel mag opeisen. Is `noothoogte + _noteGapPx` groter dan het beschikbare tekstvlak, dan hoort die noot niet onderaan de bladzijde maar in de stroom — dat is de eindnotenweg, en die verdeelt zich al netjes over vellen. Concreet: in `_notesPerPage`/`_reservedRoom` de noten die niet passen apart houden, ze niet reserveren en niet onderaan tekenen, en ze als gewoon blok laten meelopen. Het merkteken en het nummer blijven staan, dus de lezer raakt de noot niet kwijt. Tweede keus als dat te veel schuift: de noot laten afbreken over opeenvolgende vellen. Dat vraagt een noot-in-stukken-model en is een aanzienlijk grotere ingreep — niet nu. ## Regressietest (verplicht) `test/paged_document_view_test.dart`: `footnotePlacement=page` met één noot van ruim een paginahoogte → geen afknipping (de getekende noot past binnen het vel op elk vel) en de noottekst is in de boom aanwezig. ## Kosten Eén bestand, plus test. De lastige kant is dat noothoogtes pas ná de meetronde bekend zijn; de beslissing hoort dus in `_onMeasured`/`_pages`, niet in `_measure`. ## Prioriteit Middel: zeldzaam, maar de uitkomst is onleesbare of verdwenen tekst.

brenno added the

in-progress

label

2026-08-21 23:36:50 +00:00

brenno referenced this issue from a commit

2026-08-22 00:18:57 +00:00

fix: tweede batch accepted issues (#1699, #1683, #1673, #1652, #1653, #1655, #1654)

brenno referenced this issue

2026-08-22 00:19:15 +00:00

fix: alle accepted issues in één batch (17 issues) #1706

brenno referenced this issue from a commit

2026-08-22 00:31:53 +00:00