public interface ExternalModificationListener
| Modifier and Type | Method and Description |
|---|---|
void |
externalPageModified(PageModification modification)
Called when a
PageModification takes place |
void externalPageModified(PageModification modification)
PageModification takes placemodification - page modification that took place