From: <no...@so...> - 2000-11-29 19:51:51
|
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 For detailed info, follow this link: http://sourceforge.net/bugs/?func=detailbug&bug_id=123837&group_id=588 |