TextView.scrollToMark
void scrollToMark(gtk.text_mark.TextMark mark, double withinMargin, bool useAlign, double xalign, double yalign)Scrolls text_view 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
mark | a [gtk.text_mark.TextMark] |
withinMargin | margin as a [0.0,0.5) fraction of screen size |
useAlign | 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 |