[ jEdit-devel ] [Bug #124725] buffer selector tabs disappear after setting global options

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

Bug #124725, was updated on 2000-Dec-06 07:59
Here is a current snapshot of the bug.

Project: jEdit
Category: plugins
Status: Closed
Resolution: Invalid
Bug Group: normal bug
Priority: 5
Submitted by: tcwillett
Assigned to : Nobody
Summary: buffer selector tabs disappear after setting global options

Details: Platform: Linux Mandrake 7.2
CPU: Pentium III
Java runtime: JRE 1.2.2

If the Buffer Selector plugin has been turned on and is in its default state, i.e. none of its options are turned on, and I bring up the Global Options window from the Utilities menu, the buffer tabs disappear after the Global Options window is dismissed. I have to reactivate Buffer Selector from the Plugins menu. If the Buffer Selector option "Enable by default" is activated, the problem goes away.

Follow-Ups:

Date: 2000-Dec-07 16:42
By: spestov

Comment:
This is not a bug. The global options setting overrides the per-view setting.
-------------------------------------------------------

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