Searched refs:getWorkspaceTopPadding (Results 1 – 2 of 2) sorted by relevance
164 public int getWorkspaceTopPadding(int extraSpacePx) { in getWorkspaceTopPadding() method in DevicePaddings.DevicePadding177 int workspaceTopPadding = getWorkspaceTopPadding(maxEmptySpacePx); in isValid()
368 int paddingWorkspaceTop = padding.getWorkspaceTopPadding(unscaledExtraSpace); in DeviceProfile()