Legal Notice
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no "Invariant Sections", "Front-Cover Texts" or "Back-Cover Texts", each as defined in the license. A copy of the license can be found in the file COPYING.DOC.txt included with jEdit.
Table of Contents
- 1. Presentation
- 2. Customization
- 3. License
- 4. Feedback
- 5. Credits
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.
-
A saved buffer appears with this
icon
-
A modified buffer appears with this
icon
-
A new buffer appears with this
icon
-
A read-only buffer appears with this
icon
and in a grey font
- The current buffer appears with a bold font
The main concern of Buffer Selector is to save screen real-estate, so that it should be possible to work with split panes or a large number of buffers and still conveniently switch between them.
- 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 edit panes.
- 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.
It is possible to have some control over the display of Buffer Selector:
- Buffer Selector can be enabled by default
- Buffer Selector can be at the top or at the bottom of the view
- It is possible to specify the minimum and maximum widths (in pixels, 100 and 150 by default) of the selector buttons. If a buffer name is too long it will be truncated, so choose a range of values for which an acceptable number of buffer names will be truncated.
- It is possible to choose the font size (10pt by default) of the selector buttons.
The source code is distributed under the GPL. Please see http://www.fsf.org/copyleft/gpl.html
Bug reports should be sent using the Sourceforge Bug Tracker at http://sourceforge.net/bugs/?group_id=588
Feature requests should be sent to the users mailing list <users@jedit.org>.
Patches should be sent to the developers mailing list <devel@jedit.org>.
In other cases you may contact the author André Kaplan <akaplan@jedit.org>.
- BufferSelector was originally developed by Chris Laird
- It was maintained for some time by Slava Pestov <slava@jedit.org>