Method popHistory

platform/java/example/Viewer.java:1184–1189

()

	}

	protected void popHistory() {
		Location here = location;
		pushFuture();
		while (historyCount > 0 && location.equals(here))
			restoreMark(history[--historyCount]);
	}

	protected void popFuture() {
		Location here = location;