[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix placement of toggle and radio button in Lucid menu.
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Fix placement of toggle and radio button in Lucid menu. |
Date: |
Sat, 26 Feb 2022 09:51:31 +0200 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: manuel@ledu-giraud.fr, emacs-devel@gnu.org
> Date: Sat, 26 Feb 2022 15:33:40 +0800
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Sorry, I don't understand how this is relevant.
>
> The problem is that the Lucid menu bar widget doesn't find fonts like
> the rest of Emacs does, using the individual font backends. Instead, it
> relies on various ad hoc methods for font discovery that change
> depending on how it is built. I didn't look too closely, but font
> metrics are probably calculated differently as well.
That's not the impression I get when I look at the definition of
MENU_FONT_HEIGHT in xlwmenu.c: it does use the font attributes used by
the "usual" font backends, at least in the case of XFT and Cairo. Am
I missing something?
> > The only difficulty I could see is if somehow it is not easy to know
> > which font is used in the Lucid menus. Is that the problem?
>
> That's also a problem, but you can control the font by starting Emacs
> with "-xrm 'Emacs.pane.menubar.font: Courier-12''" or something to that
> effect.
Yes, that's another idea for obtaining this information.
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., (continued)
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/26
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/26
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu.,
Eli Zaretskii <=
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/26
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/26
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/26
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/26
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 2022/02/28