org.gjt.sp.jedit.textarea.TextArea.scrollTo(int,int,boolean)
org.gjt.sp.jedit.textarea.TextArea.recalculateVisibleLines()