Method isShrinkWrapped

platform/java/example/Viewer.java:751–758

(int oldPixmapWidth, int oldPixmapHeight)

	}

	protected boolean isShrinkWrapped(int oldPixmapWidth, int oldPixmapHeight) {
		Dimension size = pageScroll.getSize();
		if (oldPixmapWidth == 0 && oldPixmapHeight == 0)
			return true;
		if (oldPixmapWidth + 4 == size.width && oldPixmapHeight + 4 == size.height)
			return true;
		return false;
	}

	protected void shrinkWrap() {
		Dimension newSize = new Dimension(pixmapWidth, pixmapHeight);