basic (?) Editor API question

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?
--

Erb

==============================================================
"Most of you are familiar with the virtues of a programmer.
There are three, of course: laziness, impatience, and hubris."
- Larry Wall
==============================================================


2 comments

Never mind, I found my problem (I think)

Erb wrote:

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?


--

Erb

==============================================================
"Most of you are familiar with the virtues of a programmer.
There are three, of course: laziness, impatience, and hubris."
- Larry Wall
==============================================================

0

Hello, Erb!
You wrote on Mon, 11 Oct 2004 15:19:46 -0400:

I thing that i not right to get structure of File from Editor side. I thing
you must use PSI and VirtualFile instead.

Thanks!
--
Alexey Efimov, Java Developer
Tops-BI
http://www.topsbi.ru


0

Please sign in to leave a comment.