Method popFuture

platform/java/example/Viewer.java:1191–1196

()

	}

	protected void popFuture() {
		Location here = location;
		pushHistory();
		while (futureCount > 0 && location.equals(here))
			restoreMark(future[--futureCount]);
	}

	protected void pan(int panx, int pany) {
		Adjustable hadj = pageScroll.getHAdjustable();