On 25-Oct-99 Jean-Marc Lasgouttes wrote:
>>>>>> "Bruce" == Bruce Momjian <[EMAIL PROTECTED]> writes:
>
> Bruce> OK, much cleaner patch attached, and it still fixes the
> Bruce> problem. I am a little surprised no one else had this problem,
> Bruce> but I guess most people use a single typewriter-style word in a
> Bruce> paragraph, while I have groups of words all set in typewriter
> Bruce> style.
>
> In fact, I am tempted to remove the test on typewriter font, which
> does not make much sense anyway. What do the others think?
Probably yes. As one could always use Ctrl-Space to achieve ~
Greets Jürgen
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Dr. Jürgen Vigna E-Mail: [EMAIL PROTECTED]
Gerbergasse 60 Tel: +39-0471-450260
I-39100 Bozen Fax: +39-0471-970042
ITALY Web: http://www.sad.it/~jug
There is no satisfaction in hanging a man who does not object to it.
-- G.B. Shaw
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._