[ jEdit-devel ] [Bug #115827] 'Show full path' confuses Plugin Holder and docking

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

Bug #115827, was updated on 2000-Oct-02 03:19
Here is a current snapshot of the bug.

Project: jEdit
Category: plugins
Status: Open
Resolution: None
Bug Group: normal bug
Priority: 5
Summary: 'Show full path' confuses Plugin Holder and docking

Details: Steps to reproduce this bug:

- activate Plugin Holder
- In Global Options, toggle 'Show full path of buffer in title bar'.

Now Plugin Holder won't show up any more in the jEdit view.
- Try to activate Plugin Holder again

Now the black docking lines are gone too!


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