Re: @center @image text

[Patrice Dumas]

On Mon, Feb 04, 2013 at 06:47:53PM +0000, Karl Berry wrote:
> Hi Patrice,
> 
> Consider
> 
> @center @image{api-figure1, , , Loading the extension, txt}
> 
> And the attached api-figure1.txt (from the gawk manual).
> 
> Each individual line of the figure file should not be centered, since
> that undoes all the careful ASCII formatting, resulting in a mess.
> Rather, the ASCII file considered as a block should be centered.  Or if
> that's not feasible, no centering should be done at all.

That is not something easy to do with the current design.  It means
keeping track of a width that also comprises white spaces and possibly
spaces not output...  There is already something specific done for
locations of anchors and the like to adjust the byte counts.  Maybe I
should follow such an approach.

-- 
Pat