[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: |
Manuel Giraud |
Subject: |
Re: [PATCH] Fix placement of toggle and radio button in Lucid menu. |
Date: |
Mon, 28 Feb 2022 22:19:15 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (berkeley-unix) |
Eli Zaretskii <eliz@gnu.org> writes:
>> With those "full block", we can see that the toggle button is correctly
>> placed: at the middle between the baseline and the top of the font.
>
> Is it? I still see the toggle button too high, even if we consider
> the higher block characters.
No I think it is correct by this placement definition. That placement is
defined as "centered between baseline and top" or "centered on the full
ascent of the font": the descent is not taken into account.
>> If we stay with option 4, I still think that the toggle button should be
>> 2/3 of the ascent and not 2/3 of the height of the font.
>
> I proposed to have a variable users could tweak precisely because it
> is a very simple solution that can satisfy everyone.
Then I'd prefer to give up and leave it as it is. I think that having a
variable for this kind of tweak would be a bit overkill.
--
Manuel Giraud
- 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/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
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/28
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu.,
Manuel Giraud <=
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., Eli Zaretskii, 2022/02/28
- Re: [PATCH] Fix placement of toggle and radio button in Lucid menu., chad, 2022/02/28