2008/12/4 Enrico Tröger enrico.troeger@uvena.de:
Back to the point: probably we should submit bugreport about search facility to scintilla team, right?
Check Scintila's bugtracker before, it might be this already has been reported.
I've found the problem in scintilla bugtracker: https://sourceforge.net/tracker/index.php?func=detail&aid=1597654&gr...
But the problem is not fixed since 2006 :( As far as I understand, they can't find cross-platform solution for case-insensitive match :(