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 …]
112 public int workspaceTopPadding; field in DeviceProfile372 workspaceTopPadding = Math.round(paddingWorkspaceTop * cellScaleToFit); in DeviceProfile()394 workspaceTopPadding = extraSpace / 8; in DeviceProfile()395 int halfLeftOver = (extraSpace - workspaceTopPadding) / 2; in DeviceProfile()449 return workspaceTopPadding > widgetPadding.top784 workspaceTopPadding + (isScalableGrid ? 0 : edgeMarginPx), in updateWorkspacePadding()994 writer.println(prefix + pxToDpStr("workspaceTopPadding", workspaceTopPadding)); in dump()