Home
last modified time | relevance | path

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

/packages/apps/Launcher3/src/com/android/launcher3/
DDeviceProfile.java75 public final int edgeMarginPx; field in DeviceProfile
165 edgeMarginPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_edge_margin); in DeviceProfile()
166 desiredWorkspaceLeftRightMarginPx = edgeMarginPx; in DeviceProfile()
311 folderBackgroundOffset = -edgeMarginPx; in updateIconSize()
324 int folderMargin = 4 * edgeMarginPx; in updateAvailableFolderCellDimensions()
368 return new Point(dropTargetBarSizePx, availableHeightPx - 2 * edgeMarginPx); in getSearchBarDimensForWidgetOpts()
377 gap = ((width - 2 * edgeMarginPx in getSearchBarDimensForWidgetOpts()
379 + edgeMarginPx; in getSearchBarDimensForWidgetOpts()
413 hotseatBarHeightPx + hotseatLandGutterPx - mInsets.left, 2 * edgeMarginPx); in getWorkspacePadding()
416 hotseatBarHeightPx + hotseatLandGutterPx, 2 * edgeMarginPx); in getWorkspacePadding()
[all …]
DBaseContainerView.java124 paddingLeft = padding[0] + grid.edgeMarginPx; in updatePaddings()
125 paddingRight = padding[1] + grid.edgeMarginPx; in updatePaddings()
127 paddingTop = paddingBottom = grid.edgeMarginPx; in updatePaddings()
DShortcutAndWidgetContainer.java123 int cellPaddingX = (int) (profile.edgeMarginPx / 2f); in measureChild()