Searched refs:marginTop (Results 1 – 2 of 2) sorted by relevance
94 int marginTop = (int) (metrics.heightPixels * MediaDimensions.MEDIA_TOP_MARGIN); in overScan() local98 lp.setMargins(marginLeft, marginTop, marginRight, marginBottom); in overScan()
120 int marginTop = 0; in onMeasure() local131 marginTop = lp.topMargin; in onMeasure()139 marginTop = lp.topMargin; in onMeasure()147 child.getMeasuredHeight() + marginTop + marginBottom); in onMeasure()