PreviousNextTracker indexSee it online !

(57/314) 1761684 - Foldviewer fails when text area is scrolled

With the Foldviewer plugin activated:

When a block of code has been folded, and then the horizontal scroll slider is moved to the right, moving the mouse over the new position of the tag representing folded code, eg. "[15 lines]" does not work. The mouse has to be moved to the original location of the tag before scrolling took place.

This is a bug because the old rollover spot, and the new spot after scrolling, can be completely non-overlapping on the line.

Using Jedit 4.3Pre10, Java 1.6.0_01, foldviewer 1.0


Submitted ron_f - 2007-07-27 - 01:43:04z Assigned nobody
Priority 5 Category None
Status Open Group None
Resolution None Visibility No