Package org.gjt.sp.jedit.bufferset

Classes related to implementation of the BufferSets feature of jEdit.