[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: search-default-mode char-fold-to-regexp and Greek Extended block cha
|
From: |
Robert Pluim |
|
Subject: |
Re: search-default-mode char-fold-to-regexp and Greek Extended block characters |
|
Date: |
Tue, 23 Jul 2019 19:43:14 +0200 |
>>>>> On Tue, 23 Jul 2019 17:57:38 +0300, Eli Zaretskii <address@hidden> said:
>> From: Robert Pluim <address@hidden>
>> Date: Mon, 22 Jul 2019 20:39:22 +0200
>>
>> The answer to that, empirically, is 'yes', since with the following
>> patch the number of characters equivalent to ι increases, ie:
>>
>> Standard =>
>> (aref char-fold-table ?ι)"\\(?:ι[̀́̄̆̈̓̔͂]\\|[ίιϊἰἱὶιῐῑῖ𝛊𝜄𝜾𝝸𝞲]\\)"
>>
>> 2 level decomposition =>
>> (aref char-fold-table ?ι)"\\(?:ι[̀́̄̆̈̓̔͂]\\|[ΐίιϊἰ-ἷὶίιῐῑῒῖῗ𝛊𝜄𝜾𝝸𝞲]\\)"
>>
>> n level decomposition =>
>> (aref char-fold-table ?ι)"\\(?:ι[̀́̄̆̈̓̔͂]\\|[ΐίιϊἰ-ἷὶίιῐ-ΐῖῗ𝛊𝜄𝜾𝝸𝞲]\\)"
Eli> Thanks, I think you should install your patch.
Done as f9337bc36d
Thanks
Robert
- search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/19
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Eli Zaretskii, 2019/07/19
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/19
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Eli Zaretskii, 2019/07/19
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/21
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/22
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Eli Zaretskii, 2019/07/23
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters,
Robert Pluim <=
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Juri Linkov, 2019/07/23
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/24
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/24
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/24
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Juri Linkov, 2019/07/24
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Basil L. Contovounesios, 2019/07/24
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Juri Linkov, 2019/07/25
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/25
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Juri Linkov, 2019/07/25
- Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Re: search-default-mode char-fold-to-regexp and Greek Extended block characters, Robert Pluim, 2019/07/26