[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with
From: |
Eli Zaretskii |
Subject: |
bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields |
Date: |
Wed, 14 Oct 2020 18:12:29 +0300 |
> From: Mauro Aranda <maurooaranda@gmail.com>
> Date: Wed, 14 Oct 2020 09:00:27 -0300
> Cc: 43977@debbugs.gnu.org, schwab@linux-m68k.org,
> Lars Ingebrigtsen <larsi@gnus.org>, bugs@gnu.support
>
> > See also bug#33566, which is what caused this issue.
>
> Andreas patch looks correct to me.
I didn't say it wasn't. I just pointed to that bug report, so that
people could (a) see if there were other solutions to consider (e.g.,
maybe to solve the original issue in some other way); and (b) so that
the use case in that bug could be retested to make sure this proposed
change doesn't adversely affect it in any way.
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Jean Louis, 2020/10/13
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Lars Ingebrigtsen, 2020/10/14
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Jean Louis, 2020/10/14
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Lars Ingebrigtsen, 2020/10/14
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Jean Louis, 2020/10/14
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Lars Ingebrigtsen, 2020/10/14
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Andreas Schwab, 2020/10/14
bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields, Mauro Aranda, 2020/10/14
- bug#43977: 28.0.50; customize-face, default, checkboxes not aligned with fields,
Eli Zaretskii <=