[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Layered display API

From: Eli Zaretskii
Subject: Re: Layered display API
Date: Thu, 07 Aug 2014 05:45:58 +0300

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]