On 31 May 2015 at 08:05, Thomas Martitz ku...@rockbox.org wrote:
Am 30.05.2015 um 03:19 schrieb Matthew Brush:
Just because it's such a trivial search algorithm, using strstr() is much
more simple and probably more efficient than using Scintilla's API to find
text, but if manual and
Am 30.05.2015 um 03:19 schrieb Matthew Brush:
Just because it's such a trivial search algorithm, using strstr() is
much more simple and probably more efficient than using Scintilla's
API to find text, but if manual and automatic mode is supported, it
would make sense to share the existing