Interface BatchEditListener

The edit events sometimes come in batches, for example when an undo is
executed. One may choose to update the UI only at the end of such a batch.
This interface is notified when a batch of events starts and ends.