[ jEdit-devel ] [Bug #123837] Console & Error List cover ALL of edit buffer

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

Bug #123837, was updated on 2000-Nov-29 11:58
Here is a current snapshot of the bug.

Project: jEdit
Category: plugin API
Status: Open
Resolution: None
Bug Group: normal bug
Priority: 5
Summary: Console & Error List cover ALL of edit buffer

Details: When I compile using JCompiler & there are errors
If I have the Console &/or the Error List docked
  They cover ALL of the text buffer & it's
  hard to get it back


Follow-Ups:

Date: 2000-Nov-29 16:51
By: spestov

Comment:
Why don't you resize the docking area by dragging on the divider.
-------------------------------------------------------

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=123837&group_id=588