scroll_to_mark
Description:
public void scroll_to_mark (TextMark mark, double within_margin, bool use_align, double xalign, double yalign)
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.
Parameters:
| 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 |