[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: variable width space display property value has no effect in empty o
|
From: |
Richard Stallman |
|
Subject: |
Re: variable width space display property value has no effect in empty overlay |
|
Date: |
Sat, 14 Jun 2003 08:28:00 -0400 |
An overlay spanning 0 characters with a display property set to an
image displays the image (when the move-on-insertion properties of the
overlay ends are equal, it serves more or less as a visible marker).
I wasn't aware of that.
It does not seem consistent if other display properties intended to
mask the underlying character range (even if empty) do not behave
likewise.
I agree, it seems inconsistent, and perhaps it ought to be changed.
Finding someone who can change it and wants to change it is a harder
issue. Do we have anyone who understands that code?