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.

Parameters:

this

a `GtkTextView`

mark

a mark in the buffer for this