Method shrinkWrap

platform/java/example/Viewer.java:760–772

()

	}

	protected void shrinkWrap() {
		Dimension newSize = new Dimension(pixmapWidth, pixmapHeight);
		newSize.width += 4;
		newSize.height += 4;

		if (newSize.width > screenSize.width)
			newSize.width = screenSize.width;
		if (newSize.height > screenSize.height)
			newSize.height = screenSize.height;

		pageScroll.setPreferredSize(newSize);
		pack();
	}

	protected void redraw() {
		boolean wasShrinkWrapped = isShrinkWrapped(pixmapWidth, pixmapHeight);