Searched refs:paddingWorkspaceTop (Results 1 – 1 of 1) sorted by relevance
417 int paddingWorkspaceTop = padding.getWorkspaceTopPadding(unscaledExtraSpace); in DeviceProfile() local421 workspaceTopPadding = Math.round(paddingWorkspaceTop * cellScaleToFit); in DeviceProfile()