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|