GNU bug report logs - #48307
Feature request: provide default keybindings to change the font size in all windows

Previous Next

Full log

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: Gregory Heytings <gregory <at> heytings.org>, cpitclaudel <at> gmail.com,
 48307 <at> debbugs.gnu.org
Subject: Re: bug#48307: Feature request: provide default keybindings to
 change the font size in all windows
Date: Tue, 25 May 2021 21:43:25 +0200

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

>> >> The main added feature is that face resizing is now bounded (between 10 
>> >> and 500).

[...]

>> I'd rather wait for a feature request to add a defcustom for this.  IMO 
>> 10-500 is a reasonable range for that feature, 10 is really small and 500 
>> is really huge.
>
> We could avoid arguing about what's reasonable by providing an option.

I can definitely see people wanting to go below 10, so I think a user
option here would be nice.

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

Previous Next

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