Package org.gjt.sp.jedit.buffer

Buffer event listeners, and classes used to implement jEdit's document model.