GNU bug report logs - #25168
25.1; variable-pitch face misbehaves

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 25168 in the body.
You can then email your comments to 25168 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Eli Barzilay <eli <at> barzilay.org>
To: bug-gnu-emacs <at> gnu.org
Subject: 25.1; variable-pitch face misbehaves
Date: Sun, 11 Dec 2016 05:47:25 -0500

I'm using Emacs with a rather large default font.  One thing that
doesn't work well on Windows is variable-pitch face: it is much
smaller than my usual font.  Another way to see this without
customizing the font:

* run `info`

* use `text-scale-adjust` to make the font larger

* notice that variable-pitch headers stay at the same size

I looked at the definition of the face and followed the linked
discussion: indeed, when I try to reset the face to the same (using
just :family "Sans Serif") I get a bold-italic version of Arial, and
the best I could get was a larger version of plain Arial (using a
similar string, with a larger number instead of a "*") that is
similarly unaffected by size settings.

-- 
                   ((x=>x(x))(x=>x(x)))                  Eli Barzilay:
                   http://barzilay.org/                  Maze is Life!

Message #8 received at 25168 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Eli Barzilay <eli <at> barzilay.org>
Cc: 25168 <at> debbugs.gnu.org
Subject: Re: bug#25168: 25.1; variable-pitch face misbehaves
Date: Sun, 11 Dec 2016 17:35:37 +0200

> From: Eli Barzilay <eli <at> barzilay.org>
> Date: Sun, 11 Dec 2016 05:47:25 -0500
> 
> I'm using Emacs with a rather large default font.  One thing that
> doesn't work well on Windows is variable-pitch face: it is much
> smaller than my usual font.  Another way to see this without
> customizing the font:
> 
> * run `info`
> 
> * use `text-scale-adjust` to make the font larger
> 
> * notice that variable-pitch headers stay at the same size

Is this really related to variable-pitch fonts, or is this related to
the fact that the face is defined with a height attribute relative to
the default face?

AFAIR, text-scale-adjust only affects the basic faces, not any
arbitrary face defined by modes.  But maybe I misremember.

Message #11 received at 25168 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: Eli Barzilay <eli <at> barzilay.org>, 25168 <at> debbugs.gnu.org
Subject: Re: bug#25168: 25.1; variable-pitch face misbehaves
Date: Sat, 06 Feb 2021 12:42:05 +0100

Eli Zaretskii <eliz <at> gnu.org> writes:

> Is this really related to variable-pitch fonts, or is this related to
> the fact that the face is defined with a height attribute relative to
> the default face?
>
> AFAIR, text-scale-adjust only affects the basic faces, not any
> arbitrary face defined by modes.  But maybe I misremember.

Yup --

----
Adjust the height of the default face by INC.
----

So it's not supposed to do anything for other faces, and I guess this is
working as documented.  So I'm closing this bug report.

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

Message #16 received at 25168 <at> debbugs.gnu.org (full text, mbox):

From: Eli Barzilay <eli <at> barzilay.org>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 25168 <at> debbugs.gnu.org
Subject: Re: bug#25168: 25.1; variable-pitch face misbehaves
Date: Sat, 6 Feb 2021 07:22:41 -0500

It would be nice to clarify that in the `text-scale-adjust` docstring.
To be more specific, it currently repeats:

    the default face height

many times, and this can be interpreted as "the default (face height)"
or "the (default face) height".  Worse, for people who don't know that
there's an actual face called default, "Adjust the height of the default
face" is just as confusing.

On Sat, Feb 6, 2021 at 6:42 AM Lars Ingebrigtsen <larsi <at> gnus.org> wrote:
>
> Eli Zaretskii <eliz <at> gnu.org> writes:
>
> > Is this really related to variable-pitch fonts, or is this related to
> > the fact that the face is defined with a height attribute relative to
> > the default face?
> >
> > AFAIR, text-scale-adjust only affects the basic faces, not any
> > arbitrary face defined by modes.  But maybe I misremember.
>
> Yup --
>
> ----
> Adjust the height of the default face by INC.
> ----
>
> So it's not supposed to do anything for other faces, and I guess this is
> working as documented.  So I'm closing this bug report.
>
> --
> (domestic pets only, the antidote for overdose, milk.)
>    bloggy blog: http://lars.ingebrigtsen.no



-- 
                   ((x=>x(x))(x=>x(x)))                  Eli Barzilay:
                   http://barzilay.org/                  Maze is Life!

Message #19 received at 25168 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Eli Barzilay <eli <at> barzilay.org>
Cc: larsi <at> gnus.org, 25168 <at> debbugs.gnu.org
Subject: Re: bug#25168: 25.1; variable-pitch face misbehaves
Date: Sat, 06 Feb 2021 14:33:27 +0200

> From: Eli Barzilay <eli <at> barzilay.org>
> Date: Sat, 6 Feb 2021 07:22:41 -0500
> Cc: Eli Zaretskii <eliz <at> gnu.org>, 25168 <at> debbugs.gnu.org
> 
> It would be nice to clarify that in the `text-scale-adjust` docstring.
> To be more specific, it currently repeats:
> 
>     the default face height
> 
> many times, and this can be interpreted as "the default (face height)"
> or "the (default face) height".  Worse, for people who don't know that
> there's an actual face called default, "Adjust the height of the default
> face" is just as confusing.

I made it say "adjust the height of the default face" because I think
it should be clear (or at least more clear than the original wording).

Message #22 received at 25168 <at> debbugs.gnu.org (full text, mbox):

From: Eli Barzilay <eli <at> barzilay.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: Lars Ingebrigtsen <larsi <at> gnus.org>, 25168 <at> debbugs.gnu.org
Subject: Re: bug#25168: 25.1; variable-pitch face misbehaves
Date: Sat, 6 Feb 2021 13:50:53 -0500

That's much better, thanks!  -- It would be nice to add some comment
somewhere that not all faces inherit from it (but I can't figure out a
short way of saying that).

On Sat, Feb 6, 2021 at 7:33 AM Eli Zaretskii <eliz <at> gnu.org> wrote:
>
> > From: Eli Barzilay <eli <at> barzilay.org>
> > Date: Sat, 6 Feb 2021 07:22:41 -0500
> > Cc: Eli Zaretskii <eliz <at> gnu.org>, 25168 <at> debbugs.gnu.org
> >
> > It would be nice to clarify that in the `text-scale-adjust` docstring.
> > To be more specific, it currently repeats:
> >
> >     the default face height
> >
> > many times, and this can be interpreted as "the default (face height)"
> > or "the (default face) height".  Worse, for people who don't know that
> > there's an actual face called default, "Adjust the height of the default
> > face" is just as confusing.
>
> I made it say "adjust the height of the default face" because I think
> it should be clear (or at least more clear than the original wording).



-- 
                   ((x=>x(x))(x=>x(x)))                  Eli Barzilay:
                   http://barzilay.org/                  Maze is Life!

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.