[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: definition lines in Info - 1) link, 2) highlight
From: |
Eli Zaretskii |
Subject: |
Re: definition lines in Info - 1) link, 2) highlight |
Date: |
Sun, 13 Aug 2006 21:48:03 +0300 |
> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden
> Date: Sun, 13 Aug 2006 09:53:28 -0400
>
> Richard, is this what you had in mind? Frankly, it sounds too
> complicated to me to install at this point.
>
> I think it could be a lot simpler. Just add a loop to
> Info-fontify-node which would search for that regexp and apply some
> faces to the parts that match.
Introducing new faces is never simple. I'd rather leave this alone
until after the release. But if you insist, perhaps using hi-lock,
an existing facility, would be safer.
- definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/11
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/11
- Re: definition lines in Info - 1) link, 2) highlight, Eli Zaretskii, 2006/08/12
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/12
- Re: definition lines in Info - 1) link, 2) highlight, Eli Zaretskii, 2006/08/12
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/13
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/13
- Re: definition lines in Info - 1) link, 2) highlight,
Eli Zaretskii <=
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/14
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, Eli Zaretskii, 2006/08/15
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, David Kastrup, 2006/08/15
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, Chong Yidong, 2006/08/15
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/16
RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/13