[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64270: 30.0.50; Font update for no toolkit menu
From: |
Eli Zaretskii |
Subject: |
bug#64270: 30.0.50; Font update for no toolkit menu |
Date: |
Tue, 27 Jun 2023 18:54:01 +0300 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: 64270@debbugs.gnu.org
> Date: Tue, 27 Jun 2023 16:13:15 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > If this is not what you meant, then how would Emacs know which font to
> > select for menus when the default face's font is changed?
>
> For my usage, I imagine that yes the menu font would change when I
> change the frame's default face. But this because my menu face is
> already derived from the default face.
>
> For the general usage, my idea (and what I start doing in my patch, see
> my first message) is to query the MENU_FACE_ID. So the font into the
> menus would change if the user modify its menu face.
This is a misunderstanding: I didn't ask what would be the trigger to
change the font. I asked how would Emacs know _which_ font to choose
for the menus?
- bug#64270: 30.0.50; Font update for no toolkit menu, Manuel Giraud, 2023/06/24
- bug#64270: 30.0.50; Font update for no toolkit menu, Eli Zaretskii, 2023/06/24
- bug#64270: 30.0.50; Font update for no toolkit menu, Manuel Giraud, 2023/06/27
- bug#64270: 30.0.50; Font update for no toolkit menu, Eli Zaretskii, 2023/06/27
- bug#64270: 30.0.50; Font update for no toolkit menu, Manuel Giraud, 2023/06/27
- bug#64270: 30.0.50; Font update for no toolkit menu,
Eli Zaretskii <=
- bug#64270: 30.0.50; Font update for no toolkit menu, Manuel Giraud, 2023/06/27
- bug#64270: 30.0.50; Font update for no toolkit menu, Eli Zaretskii, 2023/06/27
- bug#64270: 30.0.50; Font update for no toolkit menu, Po Lu, 2023/06/27
- bug#64270: 30.0.50; Font update for no toolkit menu, Manuel Giraud, 2023/06/28
- bug#64270: 30.0.50; Font update for no toolkit menu, Po Lu, 2023/06/28
- bug#64270: 30.0.50; Font update for no toolkit menu, Manuel Giraud, 2023/06/28
bug#64270: 30.0.50; Font update for no toolkit menu, Po Lu, 2023/06/24