From: Slava P. <sl...@je...> - 2001-08-22 07:23:47
|
On Tue, Aug 21, 2001 at 02:29:02PM -0400, John Gellene wrote: > Under JDK1.4, jEdit hung at startup until I removed the WheelMouse plugin. > Then the files loaded properly. Is this WheelMouse 0.5 with the Windows native DLL, for WheelMouse 2.0, the pure Java version using JDK 1.4 APIs? If the former, then you will have to delete it if you plan on using JDK 1.4, if the latter, it's a bug. > However, the text area was not being > painted properly. Lines below the editing caret were either hidden or > displayed in incorrect colors until I scrolled down past them. They > reverted to incorrect colors when I scrolled up above them. This also > occurred when no plugins were loaded. This has been reported with JDK 1.3.1 as well; it depends on the font you use. You might try changing to a different font. I got this under JDK 1.3.1 on Linux, when using certain fonts; I checked the code and it seems the Graphics2D class is caching too much information in some cases. I have no idea how to fix it. Disabling all syntax styles will obviously work. Slava |