public void pageChanged(PageChangedEvent event) { pageChangeProvider = event.getPageChangeProvider(); pageChanged(event.getSelectedPage()); }
public void pageChanged(PageChangedEvent event) { pageChangeProvider = event.getPageChangeProvider(); pageChanged(event.getSelectedPage()); }