[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Redisplay issues with 'space' display properties on overlays
From: |
Eli Zaretskii |
Subject: |
Re: Redisplay issues with 'space' display properties on overlays |
Date: |
Sat, 16 Apr 2022 22:02:43 +0300 |
> From: dalanicolai <dalanicolai@gmail.com>
> Date: Sat, 16 Apr 2022 20:40:47 +0200
> Cc: Emacs Devel <emacs-devel@gnu.org>
>
> 2. I would expect that a specified space (space display property for the
> 'gap'
> > overlays, i.e. the space between the pages) could be smaller than the
> default
> > 'line-pixel-height`. However, this does not seem possible by just setting a
> > smaller :height for the space display property, as the overlay will always
> have
> > a minimum height of the default 'line-pixel-height'
>
> Here is again my 'second question'. So after when you do `M-x papyrus-demo`
> (and scroll using the arrows) the 'gaps', which are the gray 'gaps' between
> the pages,
> have the height of the default `pixel-line-height`. Setting
> `papyrus-gap-height` larger
> will increase the gap size. However, setting `papyrus-gap-height` smaller
> will not
> decrease the gap size because it seems that the `line-pixel-height` is the
> minimum.
> I would expect the size could be smaller, so my question is why the minimum
> size is
> limited to be `line-pixel-height`...
I think this is because you have a newline after the overlay, and the
newline has the default height. Did you try to put a face with
smaller :height on the newline?
- papyrus.el, improved/simplified/"final" implementation of continuous scroll, dalanicolai, 2022/04/16
- Re: papyrus.el, improved/simplified/"final" implementation of continuous scroll, Eli Zaretskii, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, Eli Zaretskii, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, Eli Zaretskii, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, Eli Zaretskii, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16
- Re: Redisplay issues with 'space' display properties on overlays, dalanicolai, 2022/04/16