411412413414415416417418419420421
if (currentPage != null && currentWidget != null && currentWidget.asWidget() == navigatingContainer.getWidget()) { currentPage.pageHiding(currentWidget, control); } else { control.proceed(); } } /** * Return the current page that is being displayed.
376377378379380381382383384385386
355356357358359360361362363364365
379380381382383384385386387388389