Home
last modified time | relevance | path

Searched refs:workspacePageIndicatorHeight (Results 1 – 2 of 2) sorted by relevance

/packages/apps/Launcher3/src/com/android/launcher3/
DDeviceProfile.java83 public final int workspacePageIndicatorHeight; field in DeviceProfile
198 workspacePageIndicatorHeight = res.getDimensionPixelSize( in DeviceProfile()
219 hotseatBarSidePaddingStartPx = isVerticalBarLayout() ? workspacePageIndicatorHeight : 0; in DeviceProfile()
236 - workspacePageIndicatorHeight; in DeviceProfile()
398 - workspacePageIndicatorHeight - edgeMarginPx; in updateIconSize()
508 int paddingBottom = hotseatBarSizePx + workspacePageIndicatorHeight in updateWorkspacePadding()
577 - workspacePageIndicatorHeight - edgeMarginPx); in getAbsoluteOpenFolderBounds()
/packages/apps/Launcher3/quickstep/recents_ui_overrides/src/com/android/quickstep/
DLauncherActivityInterface.java336 return getDefaultSwipeHeight(context, dp) + dp.workspacePageIndicatorHeight in getExtraSpace()