Searched refs:allAppsTopPadding (Results 1 – 2 of 2) sorted by relevance
210 public int allAppsTopPadding; field in DeviceProfile577 allAppsTopPadding = Math.max(mInsets.top, contentHeight - targetContentHeight); in DeviceProfile()578 allAppsShiftRange = heightPx - allAppsTopPadding; in DeviceProfile()580 allAppsTopPadding = 0; in DeviceProfile()1639 writer.println(prefix + pxToDpStr("allAppsTopPadding", allAppsTopPadding));
962 int topPadding = grid.allAppsTopPadding; in setInsets()