scrollToMark
open fun scrollToMark(mark: TextMark, withinMargin: <Error class: unknown class>, useAlign: Boolean, xalign: <Error class: unknown class>, yalign: <Error class: unknown class>)
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 GtkTextMark
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