Re: Variable pitch text filling

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

> I think a better idea is to use the width of the face's ASCII font (or
> its average width, if that's a variable-pitch face).  Then everything
> will scale as expected with the face's height.

Hm...  Oh, OK, I see what you mean now.  Yes, I think that would work
fine, but it's semantically slightly odd to have these width spec work
differently than the other width specs.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no