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