[ jEdit-devel ] [ jedit-Bugs-1795380 ] Maximizing window does not resize text area

[SourceForge.net <no...@so...>]

Bugs item #1795380, was opened at 2007-09-15 05:57
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=1795380&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: text area and syntax packages
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Jeff Dickey (jdickey)
Assigned to: Nobody/Anonymous (nobody)
Summary: Maximizing window does not resize text area

Initial Comment:
When the "maximize" button is clicked on the OS window frame surrounding the JEdit window, the window is maximized but the text area (where any file would be edited) is not resized.

Jedit 4.3pre10 using Sun Java 1.6.0 on Debian Linux
uname -a gives "Linux endurance 2.6.20-16-generic #2 SMP Fri Aug 31 00:55:27 UTC 2007 i686 GNU/Linux"



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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1795380&group_id=588