Searched refs:defaultPageSpacingPx (Results 1 – 1 of 1) sorted by relevance
77 private final int defaultPageSpacingPx; field in DeviceProfile175 defaultPageSpacingPx = in DeviceProfile()469 return defaultPageSpacingPx; in getWorkspacePageSpacing()474 return Math.max(defaultPageSpacingPx, getWorkspacePadding(null).left + 1); in getWorkspacePageSpacing()