/**
* Request the animator to update display if the pageView has been preloaded.
*
* <p>If the pageView is being used in the animation or its content has been buffered, the
* animator forcibly reloads it.
*
* <p>The reloading process is a bit heavy for an active page, so please don't invoke it too
* frequently for an active page. The cost is trivial for inactive pages.
*/
public void refreshPage(View pageView) {
if (cards.refreshPageView(pageView)) {
requestLayout();
}
}
