[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 18:35:12 +0200 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: Manuel Giraud <manuel@ledu-giraud.fr>, luangruo@yahoo.com,
> emacs-devel@gnu.org
> Date: Fri, 25 Feb 2022 16:38:16 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Having such variables in these situations is as Emacsy as it gets,
> > IME.
>
> Well why not… but we are talking of the position of a toggle button
> relatively to its label. I don't think that even the GTK backend has
> such configurability via Emacs. Is this kind of think not done via gtkrc
> of even GTK CSS nowadays?
I don't know; perhaps Po Lu does.
- 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., 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
- 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 <=
- 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, 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., chad, 2022/02/28