[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50775: ispell help message times out before most people can read it
From: |
Eli Zaretskii |
Subject: |
bug#50775: ispell help message times out before most people can read it |
Date: |
Sat, 25 Sep 2021 22:48:04 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Sat, 25 Sep 2021 12:38:10 -0700
> Cc: larsi@gnus.org, 50775@debbugs.gnu.org, jidanni@jidanni.org
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > We've been having that for eons, so changing the default now should
> > only be done if we have a very good reason. You have a customizable
> > variable now, so why not change the value for your convenience?
> >
> > Let's not let the tail wag the dog: it's a minor issue, no need to
> > turn the world around each time we add some minor convenience.
>
> [ Removing a timeout for a message does not exactly amount to "turning
> the world around"... ]
It does, for those who are accustomed to the message go away.
> We don't avoid fixing minor issues just because they are old, do we?
We don't. But there's no issue here.
> That said, the other alternative I proposed was increasing the timeout
> to 10 seconds to give the user enough time to read it.
You are free to increase it for your own use. And so is jidanni. But
I see no reason to do that for everyone.
- bug#50775: ispell help message times out before most people can read it, (continued)
- bug#50775: ispell help message times out before most people can read it, 積丹尼 Dan Jacobson, 2021/09/24
- bug#50775: ispell help message times out before most people can read it, Juri Linkov, 2021/09/24
- bug#50775: ispell help message times out before most people can read it, Eli Zaretskii, 2021/09/24
- bug#50775: ispell help message times out before most people can read it, Juri Linkov, 2021/09/25
- bug#50775: ispell help message times out before most people can read it, Eli Zaretskii, 2021/09/25
bug#50775: ispell help message times out before most people can read it, Lars Ingebrigtsen, 2021/09/24
- bug#50775: ispell help message times out before most people can read it, Stefan Kangas, 2021/09/25
- bug#50775: ispell help message times out before most people can read it, Eli Zaretskii, 2021/09/25
- bug#50775: ispell help message times out before most people can read it, Stefan Kangas, 2021/09/25
- bug#50775: ispell help message times out before most people can read it, Juri Linkov, 2021/09/25
- bug#50775: ispell help message times out before most people can read it,
Eli Zaretskii <=
- bug#50775: ispell help message times out before most people can read it, 積丹尼 Dan Jacobson, 2021/09/26
- bug#50775: ispell help message times out before most people can read it, Eli Zaretskii, 2021/09/26
- bug#50775: ispell help message times out before most people can read it, Stefan Kangas, 2021/09/29