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.java756 int splitPlaceholderInset = getResources().getDimensionPixelSize( in startSplitToHome() local
766 splitPlaceholderSize, splitPlaceholderInset, getDeviceProfile(), in startSplitToHome()
/packages/apps/Launcher3/quickstep/src/com/android/quickstep/orientation/
DLandscapePagedViewHandler.kt398 max((dp!!.insets.top - dp.splitPlaceholderInset).toDouble(), 0.0).toInt() in getPlaceholderSizeAdjustment()
DPortraitPagedViewHandler.kt438 return max((insetThickness - dp.splitPlaceholderInset).toDouble(), 0.0).toInt() in getPlaceholderSizeAdjustment()
/packages/apps/Launcher3/src/com/android/launcher3/
DDeviceProfile.java279 public int splitPlaceholderInset; field in DeviceProfile
793 splitPlaceholderInset = res.getDimensionPixelSize(R.dimen.split_placeholder_inset); in DeviceProfile()