Home
last modified time | relevance | path

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

/aosp12/packages/apps/Launcher3/src/com/android/launcher3/
H A DDeviceProfile.java182 public int overviewTaskMarginGridPx; field in DeviceProfile
362 overviewTaskMarginGridPx = res.getDimensionPixelSize(R.dimen.overview_task_margin_grid); in DeviceProfile()
401 - overviewTaskMarginGridPx; in DeviceProfile()
/aosp12/packages/apps/Launcher3/quickstep/src/com/android/quickstep/views/
H A DTaskView.java888 int taskMargin = isGridTask ? deviceProfile.overviewTaskMarginGridPx in setOrientationState()