Home
last modified time | relevance | path

Searched refs:marginTop (Results 1 – 3 of 3) sorted by relevance

/sdk/hierarchyviewer/src/com/android/hierarchyviewer/ui/
DCaptureRenderer.java40 d.height += node.marginTop + node.marginBottom; in getPreferredSize()
79 g.drawRect(-node.marginLeft, -node.marginTop, in paintComponent()
81 node.marginTop + height + node.marginBottom); in paintComponent()
DScreenViewer.java602 s.drawRect(-node.marginLeft, -node.marginTop, in paintComponent()
604 node.marginTop + node.height + node.marginBottom - 1); in paintComponent()
/sdk/hierarchyviewer/src/com/android/hierarchyviewer/scene/
DViewNode.java50 public int marginTop; field in ViewNode
80 marginTop = getInt("layout_topMargin", Integer.MIN_VALUE); in decode()
88 marginTop != Integer.MIN_VALUE && in decode()