Given an index in area.getParagraphs(), one should be able to map it to its respective area.getVisibleParagraphs() index. Likewise, the index of the latter should be mappable to the index of the former. Thus, we should add an API like
public final Optional<Integer> allParToVisibleParIndex(int allParIndex);
public final int visibleParToAllParIndex(int visiblePar);
Given an index in
area.getParagraphs(), one should be able to map it to its respectivearea.getVisibleParagraphs()index. Likewise, the index of the latter should be mappable to the index of the former. Thus, we should add an API like