/** * Render a page of the scene. * * @param page the page. * @param graphics the graphics. */ public void renderContents(final int page, final GraphicsContext graphics) { scene.setParameter("page", "" + page); Rectangle2D contents = scene.getContentSize(); renderContents( graphics, new Rectangle2D.Double( contents.getX(), (start + (page - 1) * perPage) * scene.getScalingFactor(), contents.getWidth(), perPage * scene.getScalingFactor())); scene.setParameter("page", null); }
public void setParameter(final String name, final String value) { scene.setParameter(name, value); }
/** * Render the header for the specified page. * * @param page the page. * @param graphics the graphics. */ public void renderHeader(final int page, final GraphicsContext graphics) { scene.setParameter("page", "" + page); renderHeader(graphics); scene.setParameter("page", null); }