1 Aug 2012 07:57
[ jedit-Patches-3482818 ] Initialization of look and feel
<SourceForge.net>
2012-08-01 05:57:32 GMT
2012-08-01 05:57:32 GMT
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. ----------------------------------------------------------------------(Continue reading)
RSS Feed