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-le...@lists.geany.org > > > _______________________________________________ > > > Devel mailing list -- devel@lists.geany.org > > > To unsubscribe send an email to devel-le...@lists.geany.org > > _______________________________________________ > > Devel mailing list -- devel@lists.geany.org > > To unsubscribe send an email to devel-le...@lists.geany.org > _______________________________________________ > Devel mailing list -- devel@lists.geany.org > To unsubscribe send an email to devel-le...@lists.geany.org _______________________________________________ Devel mailing list -- devel@lists.geany.org To unsubscribe send an email to devel-le...@lists.geany.org
