Re: Layered display API

[Stefan Monnier]

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


        Stefan