When I scroll up and down in any text field in the online help system or in any dropdown list in any dialog box, the displayed text gets corrupted, with only part of the display being updated and part of the old text remaining in place as though the text scroll never happened. This usually happens only when using up/down arrow keys or the mouse wheel to scroll the text one line at a time; pressing pgup/pgdwn to scroll works right, and will even unscramble the display after one-line-at-a-time scrolling has scrambled it. Is this a jedit bug or a java bug? How do I fix this?
Running on w2k using Sun's j2se 5.0 update 6 and jedit 4.2 final.