I was rather hoping to have the custom case folder as an additional option in any search. Are the Scintilla people easily annoyed by requests for features?
On Thu, 29 Aug 2024 13:41:59 +1000 Lex Trotman via Devel devel@lists.geany.org wrote:
In your plugin there is nothing stopping you from getting the buffer in one piece and implementing your own search on it, no need to annoy Scintilla. That is how Geany implements regex search using different engines from Scintillas.
On Thu, 29 Aug 2024 at 11:44, Austin Green via Devel devel@lists.geany.org wrote:
The search feature is supplied by Scintilla. There is a facility for setting a 'case-folder' (function or table) to handle case-insensitive searches, so allowing a user-supplied custom case-folder might be the easiest way. Then it could be handled in Geany via my plug-in. AFAIK there is no such option currently in Geany or Scintilla, so I'll ask the Scintilla people if they would consider adding it.
On Wed, 28 Aug 2024 17:47:38 +1000 Lex Trotman via Devel devel@lists.geany.org wrote:
On Wed, 28 Aug 2024 at 16:23, Austin Green via Devel devel@lists.geany.org wrote:
Yes, that works, but I was hoping for the lazy version, e.g. an option on the search dialog. Guess I'll have to code it myself.
Indeed, AFAIK the Unicode standard does not define any normative mechanism to do this, so you are inventing your own requirement, and therefore you have to code it yourself.
For some simple cases like Latin 1, decomposition will separate the diacritical from the base character so you can compare bases but ignore combining characters, but as I said, thats a function _you_ want, not a normal defined one, so you will have to write it.
Cheers Lex
Cheers, Austin.
On Wed, 28 Aug 2024 13:27:46 +1000 Lex Trotman via Devel devel@lists.geany.org wrote:
On Wed, 28 Aug 2024 at 12:57, Austin Green via Devel devel@lists.geany.org wrote:
Is there a way to get the Geany search to match letters with diacriticals as though they were not? E.g. I want to be able to search for 'cafe' and have it match 'café' as well.
Possibly you could use a regex to match e or é ?
Cheers Lex
Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-leave@lists.geany.org
Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-leave@lists.geany.org
Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-leave@lists.geany.org
Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-leave@lists.geany.org
Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-leave@lists.geany.org
Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-leave@lists.geany.org