[ jedit-Patches-3482818 ] Initialization of look and feel

Patches item #3482818, was opened at 2012-02-01 12:43
Message generated for change (Comment added) made by jarekczek
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3482818&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: general
Group: None
>Status: Closed
>Resolution: Invalid
Priority: 5
Private: No
Submitted By: Dale Anson (daleanson)
Assigned to: Jarek Czekalski (jarekczek)
Summary: Initialization of look and feel

Initial Comment:
I'd like to get a second opinion on this patch before committing it directly. The issue is the look and feel as
set by the look and feel plugin is not restored properly in jEdit 4.5 and 5.0. The main problem is that the
look and feel for jEdit is set before the look and feel plugin is loaded, so when jEdit is restarted, the
previous look and feel is not available until later, which can cause a long spew of errors in the Activity
log. My testing shows the patch does not conflict with the look and feel if set in the Global Options -
Appearance, but does allow the look and feel plugin to properly restore the previous look and feel when it
is finally loaded. To see this patch work properly with the look and feel plugin, you'll need the look and
feel plugin from revision 21042 or later.

----------------------------------------------------------------------