Lines Matching refs:margin
259 private void setUndoBarRightMargin(int margin) {
263 .setMargins(params.leftMargin, params.topMargin, margin, params.bottomMargin);
1119 // negative top margin, which will animate down to a margin of 0 as the height
1121 // Note that we need to maintain the bottom margin as a fixed value (instead of
