[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#48307: Feature request: provide default keybindings to change the fo
From: |
Clément Pit-Claudel |
Subject: |
bug#48307: Feature request: provide default keybindings to change the font size in all windows |
Date: |
Mon, 10 May 2021 10:53:57 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
On 5/10/21 10:26 AM, Eli Zaretskii wrote:
>> Date: Mon, 10 May 2021 14:17:55 +0000
>> From: Gregory Heytings <gregory@heytings.org>
>> Cc: Clément Pit-Claudel <cpitclaudel@gmail.com>,
>> 48307@debbugs.gnu.org
>>
>> + (let ((frame-inhibit-implied-resize t))
>> + (set-face-attribute 'default nil :height
>> + (+ (face-attribute 'default :height) inc)))
>
> Why does it make sense to inhibit frame resizing in this case? I
> think it will make an ugly display: mode-line text will spill over,
> lines will become wrapped, etc.
I think preventing frame resizing is the right move, at least in the context
that I had in mind (screen sharing): if you scale the frame and the font at
once, then nothing changes on the recipient's screen (since the
videoconferencing software scales the frame to a constant size).
(Besides, that's what menu-set-font does; and it's easy to resize the frame
after scaling the font, no?)
- 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, Clément Pit-Claudel, 2021/05/09
- 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, martin rudalics, 2021/05/10
- bug#48307: [External] : bug#48307: Feature request: provide default keybindings to change the font size in all windows, Drew Adams, 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, 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
- bug#48307: [External] : bug#48307: Feature request: provide default keybindings to change the font size in all windows, Drew Adams, 2021/05/10
- bug#48307: [External] : bug#48307: Feature request: provide default keybindings to change the font size in all windows, Gregory Heytings, 2021/05/10
- bug#48307: [External] : bug#48307: Feature request: provide default keybindings to change the font size in all windows, Drew Adams, 2021/05/10
- bug#48307: Feature request: provide default keybindings to change the font size in all windows,
Clément Pit-Claudel <=
- bug#48307: [External] : bug#48307: Feature request: provide default keybindings to change the font size in all windows, Drew Adams, 2021/05/10
- bug#48307: [External] : 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, 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, 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, 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