[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65347: 29.1; Underscore in query replace prevents case-matching
From: |
Stefan Monnier |
Subject: |
bug#65347: 29.1; Underscore in query replace prevents case-matching |
Date: |
Sat, 19 Aug 2023 12:02:03 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> Similarly when I say `!` it should stop after every change that
>> encountered a not-yet-seen capitalization.
>
> Define "not yet seen capitalization".
I'm replacing "foo" with "bar", so at the start we know for sure:
- "foo" should be replaced by "bar"
- that's it, anything else is guesswork
We find "Foo", it's a not-yet-seen capitalization.
We propose "Bar" (which the user may accept of modify).
At that point we know:
- "foo" should be replaced by "bar"
- "Foo" should be replaced by "Bar" (or whichever alternative the user
provided instead).
- that's it, anything else is guesswork
When we find "fOo", it's a not-yet-seen capitalization, so we have to
ask the user again, ...
Stefan
- bug#65347: 29.1; Underscore in query replace prevents case-matching, (continued)
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Richard Stallman, 2023/08/20
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Stefan Monnier, 2023/08/18
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Eli Zaretskii, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Stefan Monnier, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Eli Zaretskii, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Stefan Monnier, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Eli Zaretskii, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Stefan Monnier, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Stefan Monnier, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching, Eli Zaretskii, 2023/08/19
- bug#65347: 29.1; Underscore in query replace prevents case-matching,
Stefan Monnier <=