GNU bug report logs - #7881
23.2.91; Bold spaces sometimes(?) underlined in man pages

Previous Next

Full log

View this message in rfc822 format

From: Chong Yidong <cyd <at> stupidchicken.com>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 7881 <at> debbugs.gnu.org, Andreas Schwab <schwab <at> linux-m68k.org>, Reuben Thomas <rrt <at> sc3d.org>
Subject: bug#7881: 23.2.91; Bold spaces sometimes(?) underlined in man pages
Date: Sat, 22 Jan 2011 18:45:03 -0500

Glenn Morris <rgm <at> gnu.org> writes:

> Chong Yidong wrote:
>
>> I think `make-button' is indeed the apropriate choice here, since the
>> button face needs to coexist with the other face text properties
>> applied by man.el.
>
> Can make-text-button do better? It's supposedly possible for face text
> properties to be a list of faces that get merged into the output. So
> ideally it would try to add to the existing face props.

Currently, text prop buttons use the category property.  The category
specifies a default when a requested property (in this case, the `face'
property) does not exist.  If the property exists, it overrides the
category entirely.

One possibility is to treat `face' properties specially in this regard,
by merging into the category property instead of replacing.  But this
would be a backward incompatible behavior change, and possibly
bug-prone.  And it doesn't seem clean for a `face' category property to
behave so differently from other category properties.

Another possibility is to change the implementation of textprop buttons,
to assign the face directly by merging, instead of using a category
property.  I'll take a look and see if this is feasible.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.