832
*/
833
public getWhitespaceViewportData(verticalOffset1: number, verticalOffset2: number): IViewWhitespaceViewportData[] {
835
>
verticalOffset2 = verticalOffset2 | 0;
836
>
837
>
const startIndex = this.getWhitespaceIndexAtOrAfterVerticallOffset(verticalOffset1);
838
>
const endIndex = this.getWhitespacesCount() - 1;
839
>
840
>
if (startIndex < 0) {
841
return [];
842
}
844
>
const result: IViewWhitespaceViewportData[] = [];
845
>
for (let i = startIndex; i <= endIndex; i++) {
846
>
const top = this.getVerticalOffsetForWhitespaceIndex(i);
847
>
const height = this.getHeightForWhitespaceIndex(i);
848
>
if (top >= verticalOffset2) {
849
>
break;
850
>
}
851
>
852
>
result.push({
853
>
id: this.getIdForWhitespaceIndex(i),
854
>
afterLineNumber: this.getAfterLineNumberForWhitespaceIndex(i),
855
>
verticalOffset: top,
856
>
height: height
857
>
});
858
>
}
859
>
860
>
return result;
861
>
}
862
863
/**