On Mon, Jul 21, 2008 at 2:24 PM, Martin Raspe <hertzhaft@biblhertz.it> wrote:
Is there any documentation to explain what the BufferSet feature is for?
The help text in Chapter 3 is insatisfactory.

I just updated it.
http://www.jedit.org/users-guide/buffersets.html

Please let me know if anything is missing or unclear.