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.java719 int splitPlaceholderInset = getResources().getDimensionPixelSize( in startSplitToHome() local
729 splitPlaceholderSize, splitPlaceholderInset, getDeviceProfile(), in startSplitToHome()
/packages/apps/Launcher3/quickstep/src/com/android/quickstep/orientation/
DLandscapePagedViewHandler.kt379 max((dp!!.insets.top - dp.splitPlaceholderInset).toDouble(), 0.0).toInt() in getPlaceholderSizeAdjustment()
DPortraitPagedViewHandler.java437 return Math.max(insetThickness - dp.splitPlaceholderInset, 0); in getPlaceholderSizeAdjustment()
/packages/apps/Launcher3/src/com/android/launcher3/
DDeviceProfile.java278 public int splitPlaceholderInset; field in DeviceProfile
725 splitPlaceholderInset = res.getDimensionPixelSize(R.dimen.split_placeholder_inset); in DeviceProfile()