[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70622: [PATCH] New window parameter 'cursor-type'
From: |
Eli Zaretskii |
Subject: |
bug#70622: [PATCH] New window parameter 'cursor-type' |
Date: |
Sun, 12 May 2024 12:39:15 +0300 |
> Date: Sun, 12 May 2024 10:29:24 +0200
> Cc: me@eshelyaron.com, 70622@debbugs.gnu.org
> From: martin rudalics <rudalics@gmx.at>
>
> > The ANYTHING ELSE clause is simply defensive programming, something we
> > do in many other places. It can easily hide mistakes, and I see no
> > reason not to help users find those mistakes.
>
> I'm not a fan of strong typing but I agree with you. The problem I see
> is that we don't care about catching mistakes when setting the variable
> or the corresponding frame parameter. If we want to help users finding
> mistakes, we should care everywhere in a consistent fashion.
>
> > But if you are still unconvinced, I won't argue, although I still
> > don't understand your and Eshel's objections.
>
> I only stated my personal view and will leave it to Eshel and you how
> serve users best.
Thanks. Let's see what Eshel takes from this.
- bug#70622: [PATCH] New window parameter 'cursor-type', Eli Zaretskii, 2024/05/09
- bug#70622: [PATCH] New window parameter 'cursor-type', Eshel Yaron, 2024/05/09
- bug#70622: [PATCH] New window parameter 'cursor-type', Eli Zaretskii, 2024/05/09
- bug#70622: [PATCH] New window parameter 'cursor-type', Eshel Yaron, 2024/05/09
- bug#70622: [PATCH] New window parameter 'cursor-type', martin rudalics, 2024/05/10
- bug#70622: [PATCH] New window parameter 'cursor-type', Eli Zaretskii, 2024/05/10
- bug#70622: [PATCH] New window parameter 'cursor-type', martin rudalics, 2024/05/11
- bug#70622: [PATCH] New window parameter 'cursor-type', Eli Zaretskii, 2024/05/11
- bug#70622: [PATCH] New window parameter 'cursor-type', martin rudalics, 2024/05/12
- bug#70622: [PATCH] New window parameter 'cursor-type',
Eli Zaretskii <=
- bug#70622: [PATCH] New window parameter 'cursor-type', Eshel Yaron, 2024/05/12
- bug#70622: [PATCH] New window parameter 'cursor-type', martin rudalics, 2024/05/13
- bug#70622: [PATCH] New window parameter 'cursor-type', Eshel Yaron, 2024/05/13
- bug#70622: [PATCH] New window parameter 'cursor-type', Eli Zaretskii, 2024/05/18
- bug#70622: [PATCH] New window parameter 'cursor-type', Eshel Yaron, 2024/05/18
- bug#70622: [PATCH] New window parameter 'cursor-type', Eli Zaretskii, 2024/05/10