GNU bug report logs -
#25168
25.1; variable-pitch face misbehaves
Previous Next
Reported by: Eli Barzilay <eli <at> barzilay.org>
Date: Sun, 11 Dec 2016 10:50:01 UTC
Severity: normal
Found in version 25.1
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
Message #8 received at 25168 <at> debbugs.gnu.org (full text, mbox):
> 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.
This bug report was last modified 4 years and 165 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.