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 `GtkTextView`
mark	a `GtkTextMark`
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