Buffer Selector plugin By André Kaplan
akaplan@users.sourceforge.net

Presentation

The Buffer Selector plugin provides a set of buttons at the bottom of a jEdit view that allow you to change the current buffer.

Each button's appearance depends on the state of its buffer.

With jEdit 3.0final and above:

The main concern of Buffer Selector is to save screen space, so that it should be possible to work with split panes or a large number of buffers and still conveniently switch between them.

  1. Buffer Selector acts on the active text area, so there's only one Buffer Selector per view even if the view is split into several text areas.
  2. It is possible to control the miminum/maximum width and font size of the Buffer Selector buttons. The trade-off is that the longest buffer names might be truncated.

Customization

It is possible to have some control over the display of Buffer Selector:

License

The source code is distributed under the GPL. Please see http://www.fsf.org/copyleft/gpl.html

Feedback

The preferred way to send bug reports or feature requests is to use the Sourceforge Bug Tracker at http://sourceforge.net/bugs/?group_id=588.

You can also write to:

Credits