[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56393: Actually fix the long lines display bug
From: |
Eli Zaretskii |
Subject: |
bug#56393: Actually fix the long lines display bug |
Date: |
Wed, 20 Jul 2022 18:54:41 +0300 |
> Date: Wed, 20 Jul 2022 13:42:26 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: gerd.moellmann@gmail.com, larsi@gnus.org, 56393@debbugs.gnu.org
>
> Is this better/clearer: "Increase the counter more for a large
> modification and less for a small modification. Increase it
> logarithmically to avoid increasing it too much."?
Sounds good, thanks.
- bug#56393: Actually fix the long lines display bug, (continued)
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/19
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/19
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/19
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/19
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/20
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/20
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/20
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/20
- bug#56393: Actually fix the long lines display bug,
Eli Zaretskii <=
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/20
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/21
- bug#56393: Actually fix the long lines display bug, Lars Ingebrigtsen, 2022/07/21