/** * 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); } }