DocumentMutator editorDocumentMutator) {
/*
* This is a pretty fast operation so by default we guess about 5000 lines
* in 100 ms.
*/
IncrementalScheduler scheduler =
new BasicIncrementalScheduler(context.getUserActivityManager(), 100, 5000);
SearchTask searchTask = new SearchTask(document, viewport, scheduler);
IncrementalScheduler matchScheduler =
new BasicIncrementalScheduler(context.getUserActivityManager(), 100, 5000);
SearchTask matchTask = new SearchTask(document, viewport, matchScheduler);
return new SearchModel(context,
document,
renderer,