/**
* Call the registered {@code PageProviderChangedListener}, if any, to notify that the page
* provider has refreshed.
*
* @since 5.7
*/
protected void notifyRefresh() {
if (pageProviderChangedListener != null) {
pageProviderChangedListener.refreshed(this);
}
}
/**
* Call the registered {@code PageProviderChangedListener}, if any, to notify that the page
* provider current page has changed.
*
* @since 5.7
*/
protected void notifyPageChanged() {
if (pageProviderChangedListener != null) {
pageProviderChangedListener.pageChanged(this);
}
}
