Method jumpHistoryBack

platform/java/example/Viewer.java:1126–1133

(int number)

	}

	protected void jumpHistoryBack(int number) {
		cancelSearch();
		if (number == 0) {
			if (historyCount > 0)
				popHistory();
		} else if (number > 0 && number < marks.length)
			restoreMark(marks[number]);
	}

	protected void jumpHistoryForward(int number) {
		cancelSearch();