Running jEdit 4.5.1 server mode, using Sun Microsystems Inc. Java 1.6.0_23 on Ubuntu 11.10.
1. File -> Open
2. Resize the dialog until it's got a horizontal scroll bar
3. Scroll horizontally
Expected results: Shift contents horizontally.
Actual results: Massive distortion of the scrolled text.
I tried playing setting all the experimental appearance options, continuous layout, and to change the Swing look & feel, but nothing helped.
Common Controls 1.5
Project Viewer 3.4.2 (the distortion can also be seen in its window)
Recursive Open 0.1
Log in to post a comment.