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 TextView
mark

a mark in the buffer for this