[ jEdit-devel ] 4.0.3 -> 4.1 Migration

[Randall R S. <rrs...@cr...>]

Hi,

Well, I took the plunge and installed jEdit 4.1pre6. There were no great 
problems.

Here's are the few minor difficulties I encountered:

- The AntFarm 1.2 plug-in still does not work on my system. The same 
symptoms occur as before in 4.0.3 (expanding the target list shows 
"loading..." forever and the Activity Log shows a ClassCastException). 
Reverting to AntFarm 1.1 restores proper function.

- Most of the debugger's icons display as the missing icon.

- A few of the plug-in labels in the global settings dialog show "NO LABEL 
PROPERTY:" followed by the plug-in's name. The option setting functionality 
of those plug-ins appears unimpaired. I'm seeing this on these plug-ins: 
Project Options; memento; SQL.

- The XMLTree plug-in's re-parse button is barely visible--only about 2x2 
pixels show. It's enough to click, if you're careful, but clearly not as it 
should be. I tried undocking and re-docking the plug-in, but the symptom 
remains unchanged.

Randy