It appears to me that when an editor has a very large document in it,
then the Editor.getDocument method returns a document that does not contain the entire file,
but just a paged section of it. How can I get the specific section of the document I need?
"Most of you are familiar with the virtues of a programmer.
There are three, of course: laziness, impatience, and hubris."
- Larry Wall