[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch text filling
From: |
john muhl |
Subject: |
Re: Variable pitch text filling |
Date: |
Wed, 01 Dec 2021 12:14:07 -0600 |
On Wed, 2021-12-01 at 08:52 +0200, Eli Zaretskii wrote:
> On December 1, 2021 7:39:42 AM GMT+02:00, chad <yandros@gmail.com>
> wrote:
> > On Tue, Nov 30, 2021 at 9:32 PM Eli Zaretskii <eliz@gnu.org>
> > wrote:
> >
> > > [...] a display spec that would enlarge the pixel width of every
> > > character
> > > with that display property by some number of pixels. The
> > > display spec can
> > > be called char-width.
> > >
> >
> > I know that the two great problems are naming, cache invalidation,
> > and
> > off-by-one errors, but in case it helps: if I understand the
> > concept
> > correctly, it's very close to what typesetting calls "tracking".
>
> Emacs users are not professional typographers, so something like
> "tracking" will confuse rather than help. We should use "spacing"
> or somesuch.
>
Some of us are (of course we don't use Emacs for our jobs but for all
the other stuff it is good at).
Eli is right that Emacs using terms like tracking (etc) would be more
confusing than inventing something; even (maybe especially) to those
with a background in typography since the likelihood of it doing what
we expect is probably slim.
"char-spacing" lines up well with "line-spacing".
Re: Variable pitch text filling, chad, 2021/12/01
Re: Variable pitch text filling, Stefan Kangas, 2021/12/01