Lines Matching refs:edgeMarginPx

162     public final int edgeMarginPx;  field in DeviceProfile
418         edgeMarginPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_edge_margin);  in DeviceProfile()
435                     + (isTablet ? 0 : edgeMarginPx); // phones need edgeMarginPx additional padding  in DeviceProfile()
1726                 padding.bottom = edgeMarginPx;
1743             int paddingTop = workspaceTopPadding + (mIsScalableGrid ? 0 : edgeMarginPx);
1979             return new Rect(mInsets.left + dropTargetBarSizePx + edgeMarginPx,
1981                     mInsets.left + availableWidthPx - hotseatBarSizePx - edgeMarginPx,
1986             return new Rect(mInsets.left + edgeMarginPx,
1987                     mInsets.top + dropTargetBarSizePx + edgeMarginPx,
1988                     mInsets.left + availableWidthPx - edgeMarginPx,
1990                             - workspacePageIndicatorHeight - edgeMarginPx);