Running jEdit 4.5.1 server mode, using Sun Microsystems Inc. Java 1.6.0_23 on Ubuntu
11.10.
To reproduce:
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.
Plugins installed:
Common Controls 1.5
Console 4.5
EclipseIcons 1.0
ErrorList 1.9
Project Viewer 3.4.2 (the distortion can also be seen in its window)
QuickNotepad 4.4
Recursive Open 0.1
SideKick 1.3
TextTools 1.15
WhiteSpace 1.0.2
XercesPlugin 2.9.1
XML 2.8.1
XSLT 0.7.1
| Submitted | engmark - 2012-04-26 13:42:06 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | editor core |
| Status | open | Group | normal bug |
| Resolution | None |
| 2012-04-26 13:42:07 engmark |
Example screenshot 2012-04-26-153708_732x316_scrot.png (29.8Kio) |
|---|---|
| 2014-03-25 17:54:03.348000 ezust |
I see this sometimes too, but I am pretty sure it is not a jEdit bug, but something
related to either the JVM or how it interacts with the desktop.
|
