scrollMarkOnscreen
Scrolls @text_view the minimum distance such that @mark is contained within the visible area of the widget.
Parameters
mark
a mark in the buffer for @text_view
Scrolls @text_view the minimum distance such that @mark is contained within the visible area of the widget.
a mark in the buffer for @text_view