Home
last modified time | relevance | path

Searched refs:splitPlaceholderInset (Results 1 – 4 of 4) sorted by relevance

/packages/apps/Launcher3/quickstep/src/com/android/launcher3/uioverrides/
DQuickstepLauncher.java644 int splitPlaceholderInset = getResources().getDimensionPixelSize( in startSplitToHome() local
654 splitPlaceholderSize, splitPlaceholderInset, getDeviceProfile(), in startSplitToHome()
/packages/apps/Launcher3/src/com/android/launcher3/touch/
DLandscapePagedViewHandler.java446 return Math.max(dp.getInsets().top - dp.splitPlaceholderInset, 0); in getPlaceholderSizeAdjustment()
DPortraitPagedViewHandler.java512 return Math.max(insetThickness - dp.splitPlaceholderInset, 0); in getPlaceholderSizeAdjustment()
/packages/apps/Launcher3/src/com/android/launcher3/
DDeviceProfile.java257 public int splitPlaceholderInset; field in DeviceProfile
616 splitPlaceholderInset = res.getDimensionPixelSize(R.dimen.split_placeholder_inset); in DeviceProfile()