[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#48307: Feature request: provide default keybindings to change the fo
From: |
Eli Zaretskii |
Subject: |
bug#48307: Feature request: provide default keybindings to change the font size in all windows |
Date: |
Tue, 25 May 2021 16:42:41 +0300 |
> Date: Tue, 25 May 2021 13:16:42 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: cpitclaudel@gmail.com, 48307@debbugs.gnu.org
>
>
> >>> Also, I wonder whether we should say "height of the default face's
> >>> font", because this is what this actually does. I'm not sure every
> >>> user will understand the notion of the height of a face.
> >>
> >> I used "height" because it's what text-scale-{adjust,increase,decrease}
> >> use. Otherwise I would have used the word "size" indeed. WDYT?
> >
> > I prefer "size".
>
> Okay, so should I also replace the word "height" by "size" in
> text-scale-{adjust,increase,decrease}?
I guess so, yes.
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, (continued)
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Eli Zaretskii, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Clément Pit-Claudel, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Clément Pit-Claudel, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/25
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Eli Zaretskii, 2021/05/25
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/25
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Eli Zaretskii, 2021/05/25
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/25
- bug#48307: Feature request: provide default keybindings to change the font size in all windows,
Eli Zaretskii <=
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Lars Ingebrigtsen, 2021/05/25
bug#48307: [External] : bug#48307: Feature request: provide default keybindings to change the font size in all windows, Drew Adams, 2021/05/09
bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/09
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Clément Pit-Claudel, 2021/05/09
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/09
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Clément Pit-Claudel, 2021/05/09
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/09
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Eli Zaretskii, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/10