HomeSort by relevance Sort by last modified time
    Searched refs:edgeMarginPx (Results 1 - 3 of 3) sorted by null

  /packages/apps/Launcher3/src/com/android/launcher3/
DeviceProfile.java 75 public final int edgeMarginPx;
165 edgeMarginPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_edge_margin);
166 desiredWorkspaceLeftRightMarginPx = edgeMarginPx;
311 folderBackgroundOffset = -edgeMarginPx;
324 int folderMargin = 4 * edgeMarginPx;
368 return new Point(dropTargetBarSizePx, availableHeightPx - 2 * edgeMarginPx);
377 gap = ((width - 2 * edgeMarginPx
379 + edgeMarginPx;
413 hotseatBarHeightPx + hotseatLandGutterPx - mInsets.left, 2 * edgeMarginPx);
416 hotseatBarHeightPx + hotseatLandGutterPx, 2 * edgeMarginPx);
    [all...]
BaseContainerView.java 124 paddingLeft = padding[0] + grid.edgeMarginPx;
125 paddingRight = padding[1] + grid.edgeMarginPx;
127 paddingTop = paddingBottom = grid.edgeMarginPx;
ShortcutAndWidgetContainer.java 123 int cellPaddingX = (int) (profile.edgeMarginPx / 2f);

Completed in 91 milliseconds