[jEdit-Syntax-devel] phantom lines

[Brian W. Y. <by...@de...>]

I'm having a problem that occurs at isolated times when text is set or 
when the area contains text (usually enough to cause a vertical 
scrollbar) that is all deleted:

The problem is that the text area seems to ignore an amount of space at 
its top that is equal to about 4 lines of text.  I cannot click into 
this area, they are not blank lines... it is just unusable border space. 
    If I then add a new line, the text I just added jumps back up to the 
top of the area and re-claims the space that was lost a second ago.

Has anyone seen this?  Electric scroll is off.  The text area is 
embedded deep in my app, but I'll see if I can abstract it out to a test 
frame and reproduce if nobody has any ideas-

Thanks!
Brian Young
by...@de...