Searched refs:desiredWorkspaceHorizontalMarginOriginalPx (Results 1 – 1 of 1) sorted by relevance
154 public final int desiredWorkspaceHorizontalMarginOriginalPx; field in DeviceProfile703 desiredWorkspaceHorizontalMarginOriginalPx = desiredWorkspaceHorizontalMarginPx; in DeviceProfile()1255 (int) (desiredWorkspaceHorizontalMarginOriginalPx * scale);