[Geany-Devel] Re: Search ignore diacriticals?

2024-08-28 Thread Austin Green via Devel
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 wrote: > In your plugin there is nothing stopping you from getting the buffer >

[Geany-Devel] Re: Search ignore diacriticals?

2024-08-28 Thread Lex Trotman via Devel
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 wrote: > >

[Geany-Devel] Re: Search ignore diacriticals?

2024-08-28 Thread Austin Green via Devel
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

[Geany-Devel] Re: Search ignore diacriticals?

2024-08-28 Thread Lex Trotman via Devel
On Wed, 28 Aug 2024 at 16:23, Austin Green via Devel 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 inv