[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: |
Fri, 25 Feb 2022 14:18:49 +0200 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Date: Fri, 25 Feb 2022 12:16:32 +0100
> Cc: emacs-devel <emacs-devel@gnu.org>
>
> Ok so here is a new patch that I think fixes this issue. The first line
> of the patch sets the toggle to size to be 2/3 of the ascent (and not
> height) of the font: it seems more logical if those buttons resides on
> the baseline.
Can we please take a step back and try to understand the issue better?
I asked a question in this thread; can we have an answer to that
question?
Basically, I don't understand why the original code doesn't appear to
do its job as intended. If you do understand, please post a detailed
explanation of the reason.
Once we understand the reason(s), we can discuss solutions.
Thanks.
- [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 2022/02/24
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/24
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Po Lu, 2022/02/24
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/24
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 2022/02/24
- 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., Po Lu, 2022/02/25
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Manuel Giraud, 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., 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, 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, 2022/02/26