[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70622: [PATCH] New window parameter 'cursor-type'
From: |
Eshel Yaron |
Subject: |
bug#70622: [PATCH] New window parameter 'cursor-type' |
Date: |
Mon, 13 May 2024 14:13:53 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi Martin,
martin rudalics <rudalics@gmx.at> writes:
>> Here's the updated patch:
>
> One ambiguity:
>
>> The initial value for new windows is @code{t}, which says to respect the
>> buffer-local value of @code{cursor-type}. This setting persists across
> ^^^^^^^^^^^^
>> buffers shown in @var{window}, so @code{set-window-buffer} does not
>> reset it. @xref{Buffers and Windows}.
>
> "This setting" may refer to the "initial value". I'd write "The value
> set by this function".
Thanks, I've adopted your wording in the updated patch below.
v6-0001-New-functions-set-window-cursor-type.patch
Description: Text Data
- bug#70622: [PATCH] New window parameter 'cursor-type', (continued)
- 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, 2024/05/12
- 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 <=
- 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