[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Continuous image scrolling
|
From: |
Drew Adams |
|
Subject: |
RE: Continuous image scrolling |
|
Date: |
Tue, 3 Apr 2018 13:20:36 -0700 (PDT) |
> use font-lock machinery to replace placeholders with
> generated images when the user navigates to other parts
> of the PDF buffer.
Interesting idea! But would that be responsive, for
the user? Would the images be generated on the fly?
Would they be automatically deleted and garbaged
afterward?
- Continuous image scrolling (was: What improvements would be truly useful?), Juri Linkov, 2018/04/02
- Re: Continuous image scrolling, Óscar Fuentes, 2018/04/02
- Re: Continuous image scrolling, Eli Zaretskii, 2018/04/03
- Re: Continuous image scrolling, Juri Linkov, 2018/04/03
- Re: Continuous image scrolling, Stefan Monnier, 2018/04/03
- Re: Continuous image scrolling, Clément Pit-Claudel, 2018/04/03
- Re: Continuous image scrolling, Eli Zaretskii, 2018/04/04
- Re: Continuous image scrolling, Juri Linkov, 2018/04/04
- Re: Continuous image scrolling, Eli Zaretskii, 2018/04/05
- Re: Continuous image scrolling, Tak Kunihiro, 2018/04/04
- Re: Continuous image scrolling, Clément Pit-Claudel, 2018/04/04
- Re: Continuous image scrolling, Tak Kunihiro, 2018/04/04
- Re: Continuous image scrolling, Clément Pit-Claudel, 2018/04/05