[Java] get bookmark information (vertical position)

Technical Support
2

Please see this forum post.

In particular this part.

// Now get the vertical coordinate 'top'
double top = dest_arr.GetAt(2).GetNumber();