[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62275: 28.2; Changing major mode changes the current text scaling
From: |
Eli Zaretskii |
Subject: |
bug#62275: 28.2; Changing major mode changes the current text scaling |
Date: |
Sun, 19 Mar 2023 19:40:44 +0200 |
> From: Drew Adams <drew.adams@oracle.com>
> CC: "62275@debbugs.gnu.org" <62275@debbugs.gnu.org>
> Date: Sun, 19 Mar 2023 17:22:39 +0000
>
> > > I tried doing this, but it didn't fix the behavior.
> > >
> > > (put 'text-scale-mode-remapping 'permanent-local t)
> > > (put 'text-scale-mode-lighter 'permanent-local t)
> > > (put 'text-scale-mode-amount 'permanent-local t)
> >
> > You need to do this with face-remapping-alist.
>
> The request is not about _setting_ the remapping of any face or set of faces.
>
> The request is for the effect of text-scaling, from _interactive_ use of
> `text-scale-adjust', to not be removed when the major mode is changed and the
> buffer isn't switched.
Text-scaling works via face-remapping.
> > Sounds like creeping featurism to me. If you want the text size
> > larger, then why not customize the default face, and have that done
> > once and for all? Text-scale is by definition a temporary measure.
>
> I don't want the text size larger in general or by default - of any face, let
> alone face `default'.
But that's what text-scaling does: it enlarges the default face's
font.
> It's about interactive use of `text-scale-adjust`. Seems to me its behavior
> should be only buffer-specific and not affected by a major-mode change. Is
> that not a reasonable behavior to want, if not even generally _expect_?
No, not IMO.
- bug#62275: 28.2; Changing major mode changes the current text scaling, Drew Adams, 2023/03/19
- bug#62275: 28.2; Changing major mode changes the current text scaling, Eli Zaretskii, 2023/03/19
- bug#62275: 28.2; Changing major mode changes the current text scaling, Drew Adams, 2023/03/19
- bug#62275: 28.2; Changing major mode changes the current text scaling,
Eli Zaretskii <=
- bug#62275: 28.2; Changing major mode changes the current text scaling, Drew Adams, 2023/03/19
- bug#62275: 28.2; Changing major mode changes the current text scaling, Eli Zaretskii, 2023/03/20
- bug#62275: 28.2; Changing major mode changes the current text scaling, Drew Adams, 2023/03/20
- bug#62275: 28.2; Changing major mode changes the current text scaling, Eli Zaretskii, 2023/03/20
- bug#62275: 28.2; Changing major mode changes the current text scaling, Drew Adams, 2023/03/20