bug: very long loading time for big PDF files #4

mahlzahn commented 2025年12月01日 16:43:19 +01:00

Description

Loading of big PDFs or PDFs with multiple pages have long loading time.

Implementation

Edit: actually rendering vector graphics instead of PNG textures greatly improves the loading time by a factor of 5-10. And it improves also the appearance.

(Future?) improvement

Currently, the content of all pages is read into memory before displaying the first page. Should implement some lazy or at least asynchronous loading of pages.

Idea for asynchronous and retarded loading of pages 2, 3, 4, ...:

1. load page 1
2. show page 1
3. load pages 2, 3, 4 ... n
   • may be interrupt by choosing a page k, then:
     1. load page k (if not yet loaded)
     2. show page k
     3. load pages k, k+1, ...

## Description Loading of big PDFs or PDFs with multiple pages have long loading time. ## Implementation Edit: actually rendering vector graphics instead of PNG textures greatly improves the loading time by a factor of 5-10. And it improves also the appearance. ## (Future?) improvement Currently, the content of all pages is read into memory before displaying the first page. Should implement some lazy or at least asynchronous loading of pages. Idea for asynchronous and retarded loading of pages 2, 3, 4, ...: 1. load page 1 2. show page 1 3. load pages 2, 3, 4 ... $n$ - may be interrupt by choosing a page $k,ドル then: 1. load page $k$ (if not yet loaded) 2. show page $k$ 3. load pages $k,ドル $k+1,ドル ...