Re: Layered display API

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: Alp Aker <address@hidden>,  address@hidden,  address@hidden,  
> address@hidden
> Date: Wed, 06 Aug 2014 16:48:12 -0400
> 
> >> > How is this different from displaying bitmaps that fill the whole
> >> > height of a screen line, so that adjacent bitmaps don't leave any
> >> > pixels between them?
> >> With a positive value of line-spacing, this approach doesn't suffice:
> >> you'll get gaps between the bitmaps.
> > Something that should be easy enough to fix, no doubt.
> 
> Currently, it's rather hard, since the height of a line depends on many
> other things (such as the content of the line) and there's no
> functionality to re-compute the pixmap to display in the margin once we
> know the line height.

We redisplay the fringe bitmaps every time we redisplay their lines,
so it should be easy to extend the bitmap to cover all of its height.