TextView.scrollMarkOnscreen

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

class TextView
void
scrollMarkOnscreen

Parameters

mark TextMark

a mark in the buffer for @text_view

Meta