[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: case-insensitive string comparison
From: |
Sam Steingold |
Subject: |
Re: case-insensitive string comparison |
Date: |
Tue, 26 Jul 2022 11:42:10 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (darwin) |
> * Sam Steingold <fqf@tah.bet> [2022-07-26 10:28:01 -0400]:
>
>> * Richard Stallman <ezf@tah.bet> [2022-07-25 23:24:43 -0400]:
>>
>> That depends on how often programs will do case-insensitive string
>> comparison.
>> If frequently, that gives a bigger upside to `string-equal-ignore-case'.
>
> 3. some emacs packages already have to define their own versions of
> `string-equal-ignore-case', e.g., `bbdb-string='.
and also `bibtex-string=' and `completion--string-equal-p' in the core.
--
Sam Steingold (http://sds.podval.org/) on darwin Ns 10.3.2113
http://childpsy.net http://calmchildstories.com http://steingoldpsychology.com
https://fairforall.org http://think-israel.org https://www.memritv.org
Growing Old is Inevitable; Growing Up is Optional.
- Re: case-insensitive string comparison, (continued)
- Re: case-insensitive string comparison, Robert Pluim, 2022/07/26
- Re: case-insensitive string comparison, Bruno Haible, 2022/07/25
- Re: case-insensitive string comparison, Richard Stallman, 2022/07/25
- Re: case-insensitive string comparison, Helmut Eller, 2022/07/26
- Re: case-insensitive string comparison, Eli Zaretskii, 2022/07/26
- Re: case-insensitive string comparison, Sam Steingold, 2022/07/26
- Re: case-insensitive string comparison,
Sam Steingold <=
- Re: case-insensitive string comparison, Eli Zaretskii, 2022/07/26
- Re: case-insensitive string comparison, Bruno Haible, 2022/07/26
- Re: case-insensitive string comparison, Eli Zaretskii, 2022/07/26
- Re: case-insensitive string comparison, Roland Winkler, 2022/07/20
- Re: case-insensitive string comparison, Sam Steingold, 2022/07/20
- Re: case-insensitive string comparison, Eli Zaretskii, 2022/07/20
- Re: case-insensitive string comparison, Eli Zaretskii, 2022/07/20
- Re: case-insensitive string comparison, Roland Winkler, 2022/07/20
- Re: case-insensitive string comparison, Eli Zaretskii, 2022/07/20
- Re: case-insensitive string comparison, Roland Winkler, 2022/07/20