Searched refs:areaTop (Results 1 – 1 of 1) sorted by relevance
106 int areaTop = widget.getScrollY(); in action() local107 int areaBot = areaTop + widget.getHeight() - padding; in action()109 int lineTop = layout.getLineForVertical(areaTop); in action()