dvFindMirrorMaxChars top-level constant
int
const dvFindMirrorMaxChars
The most text the mirror holds for one page.
A mirror is a copy of what the page drew. A page that draws a novel should not have the DOM carry a second one: past this the mirror stops, and what is past it is not findable -- which is where section 2's own find bar, not a bigger DOM, is the answer.
Implementation
const int dvFindMirrorMaxChars = 200000;