[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60841: 30.0.50; kill-ring-save pauses despite region being highlight
From: |
Eli Zaretskii |
Subject: |
bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted |
Date: |
Sun, 29 Jan 2023 17:40:56 +0200 |
> From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
> Cc: gregory@heytings.org, 60841@debbugs.gnu.org, Juri Linkov
> <juri@linkov.net>
> Date: Sun, 29 Jan 2023 15:54:14 +0100
>
> OK, two tentative patches attached, because I don't know which makes for
> the better UX:
>
> ▼ Copy Region Inhibit Blink:
> Choice:
> (*) region-stands-out-p
> Whether the region can be distinguished visually. More
> ( ) always
> Always inhibit: never blink point and mark.
> ( ) ignore
> Never inhibit: always blink point and mark.
> ( ) Other predicate function.: ignore
> State : STANDARD.
> Whether we should refrain from blinking the cursor after a copy. ▼
> When this condition holds, ‘kill-ring-save’ will not blink the
> cursor between point and mark to denote the copied region.
> Groups: Killing
>
> ⁂ VS ⁂
>
> ▼ Copy Region Blink Predicate:
> Choice:
> (*) region-indistinguishable-p
> Whether the current region is not denoted visually. ▼
> This holds when the region is inactive, or when the ‘region’ face
> cannot be distinguished from the ‘default’ face.
> ( ) always
> Always blink point and mark.
> ( ) ignore
> Never blink point and mark.
> ( ) Other predicate function.: ignore
> State : STANDARD.
> Whether the cursor must be blinked after a copy. ▼
> When this condition holds, and the copied region fits in the
> current window, ‘kill-ring-save’ will blink the cursor between
> point and mark for ‘copy-region-blink-delay’ seconds.
> Groups: Killing
I prefer the second one, since inhibit-SOMETHING is slightly harder to
grasp, due to the negation.
The second paragraph of the NEWS entry shouldn't be there: it tells
that we fixed a bug.
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, (continued)
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/18
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/18
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/21
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/22
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/23
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/23
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/24
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/28
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/28
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/29
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted,
Eli Zaretskii <=
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/29
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/30
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Kévin Le Gouguec, 2023/01/30
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Juri Linkov, 2023/01/29
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/29
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/29
- bug#60841: 30.0.50; kill-ring-save pauses despite region being highlighted, Eli Zaretskii, 2023/01/29