[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 21:52:03 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Sat, 25 Sep 2021 11:17:27 -0700
> Cc: 50775@debbugs.gnu.org,
> 積丹尼 Dan Jacobson <jidanni@jidanni.org>
>
> > I've now added a new user option 'ispell-help-timeout' so that you can
> > control this.
>
> Do we even need a timeout here?
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.
- 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, Eli Zaretskii, 2021/09/24
- 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, Eli Zaretskii, 2021/09/24
- 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 <=
- 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, 2021/09/25
- 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