scroll_mark_onscreen

Description:

public void scroll_mark_onscreen (TextMark mark)

Scrolls this the minimum distance such that mark is contained within the visible area of the widget.

this	a `GtkTextView`
mark	a mark in the buffer for this