[ jEdit-devel ] [ jedit-Bugs-752722 ] unused space below right dockable

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

Bugs item #752722, was opened at 2003-06-11 11:54
Message generated for change (Comment added) made by bemace
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=752722&group_id=588

Category: editor core
Group: minor bug
Status: Closed
Resolution: None
Priority: 2
Submitted By: Brad Mace (bemace)
Assigned to: Nobody/Anonymous (nobody)
Summary: unused space below right dockable

Initial Comment:
using the view layout where the left and right
dockables get the full window height, the right (and
presumably left) dockables on come down as far as the
top of the bottom docking bar, but the bottom docking
bar wraps at the left edge of the right dockable,
leaving a fairly large unused space.

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

>Comment By: Brad Mace (bemace)
Date: 2003-10-31 01:05

Message:
Logged In: YES 
user_id=370261

Certainly it's nothing severe.  I just like to dock a lot of
things, so I was hoping the docking bar could be extended to
use the full width, since nothing else is using the space.

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

Comment By: Slava Pestov (spestov)
Date: 2003-10-29 02:33

Message:
Logged In: YES 
user_id=2280

i don't consider this a bug...

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

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