[ jEdit-devel ] [ jedit-Bugs-571605 ] Console history pulldown off screen

Bugs item #571605, was opened at 2002-06-20 07:49
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=571605&group_id=588

Category: editor core
Group: minor bug
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Jeff Pettenski (jpettenski)
Assigned to: Nobody/Anonymous (nobody)
Summary: Console history pulldown off screen

Initial Comment:
Console history pulldown displays off screen when plugins are docked and open on the left.  Closing the 
docked plugins puts the history pulldown back (centered) on the displayable screen.  See attachements.

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

>Comment By: Slava Pestov (spestov)
Date: 2002-12-30 22:31

Message:
Logged In: YES 
user_id=2280

should no longer occur with jEdit 4.1.

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

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