Method restoreMark

platform/java/example/Viewer.java:1148–1153

(Mark mark)

	}

	protected void restoreMark(Mark mark) {
		if (mark != null) {
			doc.gotoLocation(mark.loc, null);
			pageCanvas.requestFocusInWindow();
		}
	}

	protected void pushHistory() {
		if (historyCount > 0 && location.equals(history[historyCount - 1].loc))