TextView.scrollMarkOnscreen
void scrollMarkOnscreen(gtk.text_mark.TextMark mark)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 |
void scrollMarkOnscreen(gtk.text_mark.TextMark mark)Scrolls text_view the minimum distance such that mark is contained within the visible area of the widget.
mark | a mark in the buffer for text_view |