Lines Matching refs:setPositiveMargin
1707 marginInfo.setPositiveMargin(childMargins.positiveMarginAfter());1747 marginInfo.setPositiveMargin(childMargins.positiveMarginAfter());1750 marginInfo.setPositiveMargin(max(childMargins.positiveMarginBefore(), childMargins.positiveMarginAfter()));