From: SourceForge.net <no...@so...> - 2007-12-03 22:44:07
|
Bugs item #1843701, was opened at 2007-12-03 17:44 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1843701&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: editor core Group: normal bug Status: Open Resolution: None Priority: 5 Private: No Submitted By: Neurophyre (neurophyre) Assigned to: Nobody/Anonymous (nobody) Summary: editor window components don't resize on window resize Initial Comment: If draw window borders using Swing look & feel and draw dialog box borderds using Swing look & feel aren't set in Utilities>Global Options>Appearance, upon resizing the jEdit window, the editing pane doesn't resize. Ubuntu 7.10 (Gutsy), jEdit 4.2final and 4.3pre11. 2:43:35 PM [message] Log: java.version=1.5.0_13 2:43:35 PM [message] Log: java.vm.version=1.5.0_13-b05 2:43:35 PM [message] Log: java.runtime.version=1.5.0_13-b05 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1843701&group_id=588 |