Searched refs:workspaceTopPadding (Results 1 – 2 of 2) sorted by relevance
74 PaddingFormula workspaceTopPadding = null; in DevicePaddings() local85 workspaceTopPadding = new PaddingFormula(context, attr); in DevicePaddings()94 if (workspaceTopPadding == null in DevicePaddings()102 DevicePadding dp = new DevicePadding(maxWidthPx, workspaceTopPadding, in DevicePaddings()146 private final PaddingFormula workspaceTopPadding; field in DevicePaddings.DevicePadding151 PaddingFormula workspaceTopPadding, in DevicePadding() argument155 this.workspaceTopPadding = workspaceTopPadding; in DevicePadding()165 return workspaceTopPadding.calculate(extraSpacePx); in getWorkspaceTopPadding()177 int workspaceTopPadding = getWorkspaceTopPadding(maxEmptySpacePx); in isValid() local180 int sum = workspaceTopPadding + workspaceBottomPadding + hotseatBottomPadding; in isValid()[all …]
135 public int workspaceTopPadding; field in DeviceProfile550 workspaceTopPadding = Math.round(paddingWorkspaceTop * cellScaleToFit); in DeviceProfile()742 return workspaceTopPadding > widgetPadding.top in shouldInsetWidgets()1290 int paddingTop = workspaceTopPadding + (isScalableGrid ? 0 : edgeMarginPx);1701 writer.println(prefix + pxToDpStr("workspaceTopPadding", workspaceTopPadding));