Method mark

platform/java/example/Viewer.java:1118–1124

(int number)

	}

	protected void mark(int number) {
		cancelSearch();
		if (number == 0)
			pushHistory();
		else if (number > 0 && number < marks.length)
			marks[number] = saveMark();
	}

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