groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP


From: Alejandro Colomar
Subject: Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP
Date: Sat, 28 Oct 2023 18:33:21 +0200

On Sat, Oct 28, 2023 at 11:15:11AM -0500, G. Branden Robinson wrote:
> Hi Alex,
> 
> At 2023-10-28T17:55:50+0200, Alejandro Colomar wrote:
> > On Sat, Oct 28, 2023 at 07:27:49AM -0500, G. Branden Robinson wrote:
> > > At 2023-10-24T12:31:04+0200, Alejandro Colomar wrote:
> > > > In less(1) I use similar heuristics to find what I want:
> > > > '/    --unused' will get me exactly where I expect.
> > > 
> > > You might want to adapt this habit to '/ +--unused'.
> > 
> > In fact I don't want.  A single space would trigger false positives in
> > the middle of the text.  I use at least 3, sometimes more (depending
> > on how much I feel like pressing the space bar), to get a single
> > positive at the tag.
> 
> You could do what I do.
> 
> '/^ +-'

  '/   -' seems lazier to me.  :)

> 
> Still cheaper/lazier.
> 
> Maybe I've been burned too many times by people getting space quantities
> wrong in other contexts.
> 
> > I'm already using groff from git, so I'm already adapted to that.  :)
> 
> Ah, excellent.  As Thomas Dickey always says, "(report bugs)".
> 
> Regards,
> Branden



-- 
<https://www.alejandro-colomar.es/>

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]