Home
last modified time | relevance | path

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

/packages/apps/Launcher3/src/com/android/launcher3/touch/
DWorkspaceTouchListener.java104 mTempRect.inset(dp.edgeMarginPx, dp.edgeMarginPx); in onTouch()
/packages/apps/Launcher3/src/com/android/launcher3/
DDeviceProfile.java162 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,
[all …]
DDropTargetBar.java101 horizontalMargin = ((grid.widthPx - 2 * grid.edgeMarginPx in setInsets()
104 + grid.edgeMarginPx; in setInsets()
DShortcutAndWidgetContainer.java185 : (int) (dp.edgeMarginPx / 2f); in measureChild()
DWorkspace.java345 setPageSpacing(grid.edgeMarginPx); in setInsets()
351 int maxPadding = Math.max(grid.edgeMarginPx, padding.left + 1); in setInsets()
/packages/apps/Launcher3/src/com/android/launcher3/secondarydisplay/
DSecondaryDragLayer.java140 grid.iconSizePx + grid.edgeMarginPx); in onMeasure()
DPinnedAppsAdapter.java142 int padding = mLauncher.getDeviceProfile().edgeMarginPx; in getView()