Scrolls this so that mark
is on the screen in the position indicated by xalign
and yalign
.
An alignment of 0.0 indicates left or top, 1.0 indicates right or bottom, 0.5 means center. If use_align
is
false, the text scrolls the minimal distance to get the mark onscreen, possibly not scrolling at all.
The effective screen for purposes of this function is reduced by a margin of size within_margin
.
this |
a TextView |
mark |
a TextMark |
within_margin |
margin as a [0.0,0.5) fraction of screen size |
use_align |
whether to use alignment arguments (if false, just get the mark onscreen) |
xalign |
horizontal alignment of mark within visible area |
yalign |
vertical alignment of mark within visible area |