[ jEdit-devel ] [ jedit-Bugs-531465 ] Resizing resizes 'wrong' part of window

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

Bugs item #531465, was opened at 2002-03-18 10:06
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=531465&group_id=588

Category: plugin manager
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Resizing resizes 'wrong' part of window

Initial Comment:
 When resizing vertically the plugin manager's 'Install
Plugins' page, the 'Plugin info' pane resizes the wrong
way around. The info (name, author...) gets all the
extra space, and the description TextPane stays the
same size. The bug is really visible when the
description TextPane has more text than it's viewable
area can show and scrollbar appears.

 jEdit 4.0 pre 7, win2k, jdk 1.4.


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

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