public void scrollLineToVisible(int line) { int margin = parentHeight() / 3;
public void scrollLineToVisible(int line, int margin) { int maxMargin = (parentHeight() - 20) / 2; if (margin > maxMargin) margin = Math.max(0, maxMargin);
	public void scrollLineToVisible(int line) {		int margin = parentHeight() / 3;		scrollLineToVisibleImpl(line, margin);	}