public interface ProofSaverListener
extends java.util.EventListener
ProofSaver
instances.Modifier and Type | Method and Description |
---|---|
void |
proofSaved(ProofSaverEvent e)
This method is called when a file was saved via
ProofSaver.save() . |
void proofSaved(ProofSaverEvent e)
ProofSaver.save()
.e
- The ProofSaverEvent
.