public void setPage(int pageNum) {
page = pageNum;
DjVuPage newPage = app.getPageCache().fetchPage(pageNum);
if (newPage != null) {
pageInfo = newPage.getInfo();
app.getToolbar().setZoomOptions(findZoomOptions());
viewChanged();
} else {
pageInfo = null;
}
redraw();
if (changeListener != null) changeListener.pageChanged(pageNum);
scheduleURLUpdate();
}
