bug#76: marked as done (replacing display specification fails to preserve box around replaced text)

[don@donarmstrong.com (Emacs bug Tracking System)]

[-- Attachment #1: Type: text/plain, Size: 904 bytes --]


Your message dated Sat, 20 Sep 2008 17:45:55 -0400
with message-id <8763oqze24.fsf@cyd.mit.edu>
and subject line Re: replacing display specification fails to preserve box around replaced text
has caused the Emacs bug report #76,
regarding replacing display specification fails to preserve box around replaced text
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact don@donarmstrong.com
immediately.)


-- 
76: http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=76
Emacs Bug Tracking System
Contact don@donarmstrong.com with problems

[-- Attachment #2: Type: message/rfc822, Size: 6295 bytes --]

From: "Jonas Bernoulli" <jonas@bernoulli.cc>
To: bug-gnu-emacs@gnu.org
Subject: replacing display specification fails to preserve box around replaced text
Date: Sat, 22 Mar 2008 16:52:23 +0100
Message-ID: <201bac3a0803220852k82b944eh78a46bb9cfcf415f@mail.gmail.com>

When replacing the text at the end of a region that has a face which
draws a box around that text, replacing text at the end of that region
using a display specification fails to preserve the box around the
replaced text. The box above and below the replaced text is shown as
expected though. At the beginning of the text all sides of the box are
shown as expeced.

(progn
  (insert (propertize "foo" 'face '((:box (:line-width 5 :color "red")))))
  (backward-char)
  (put-text-property (point) (1+ (point)) 'display "*"))

results in:
+---
|fo*
+---

(progn
  (insert (propertize "foo" 'face '((:box (:line-width 5 :color "red")))))
  (backward-char 3)
  (put-text-property (point) (1+ (point)) 'display "*"))

results in:
+---+
|*oo|
+---+

Both 22.1 and 23.0.60 behave this way.

-- Jonas




[-- Attachment #3: Type: message/rfc822, Size: 1620 bytes --]

From: Chong Yidong <cyd@stupidchicken.com>
To: "Jonas Bernoulli" <jonas@bernoulli.cc>
Cc: 76-done@emacsbugs.donarmstrong.com
Subject: Re: replacing display specification fails to preserve box around replaced text
Date: Sat, 20 Sep 2008 17:45:55 -0400
Message-ID: <8763oqze24.fsf@cyd.mit.edu>

> When replacing the text at the end of a region that has a face which
> draws a box around that text, replacing text at the end of that region
> using a display specification fails to preserve the box around the
> replaced text. The box above and below the replaced text is shown as
> expected though. At the beginning of the text all sides of the box are
> shown as expeced.

> (progn
>   (insert (propertize "foo" 'face '((:box (:line-width 5 :color "red")))))
>   (backward-char)
>   (put-text-property (point) (1+ (point)) 'display "*"))

Thanks for the bug report, and sorry for the delay.  I've just checked
in a fix into Emacs CVS.