* Set a PDF file to view here.
* @param pdfRenderer2view Renderer of the PDF file to view here.
* @param pageID Page number to view (1..pageCount).
*/
public synchronized void setFile(PdfPageRenderUtility pdfRenderer2view, int pageID) {
PdfPageRenderUtility oldPdfRenderer = pdfRenderer;
pdfRenderer = pdfRenderer2view;
pageCount = pdfRenderer.pageCount;
if (oldPdfRenderer == null || pdfRenderer2view == null || !oldPdfRenderer.pdfFile.equals(pdfRenderer2view.pdfFile)) {
setPageID(pageID);
inform4pageCount();