org.gjt.sp.jedit.bufferset
Interface BufferSetManager.BufferSetVisitor

Enclosing class:
BufferSetManager

public static interface BufferSetManager.BufferSetVisitor


Method Summary
 void visit(BufferSet bufferSet)
           
 

Method Detail

visit

void visit(BufferSet bufferSet)