[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38699: Simple keystrokes to change font size
|
From: |
Eli Zaretskii |
|
Subject: |
bug#38699: Simple keystrokes to change font size |
|
Date: |
Mon, 23 Dec 2019 05:28:39 +0200 |
> From: 積丹尼 Dan Jacobson <jidanni@jidanni.org>
> Cc: 38699@debbugs.gnu.org
> Date: Mon, 23 Dec 2019 08:28:16 +0800
>
> Yup proving my point that he cannot change the font size permanently to
> something that he can maintain without help from the menus (#38696).
Those menu items run the commands menu-set-font and
menu-bar-options-save, respectively, and you can invoke them via the
keyboard, of course.
- bug#38699: Simple keystrokes to change font size, 積丹尼 Dan Jacobson, 2019/12/21
- bug#38699: `text-scale-increase', `menu-set-font', and sexps, Eduardo Ochs, 2019/12/24
- bug#38699: `text-scale-increase', `menu-set-font', and sexps, arthur miller, 2019/12/25