Searched refs:desiredWorkspaceLeftRightMarginPx (Results 1 – 1 of 1) sorted by relevance
74 private int desiredWorkspaceLeftRightMarginPx; field in DeviceProfile166 desiredWorkspaceLeftRightMarginPx = edgeMarginPx; in DeviceProfile()381 gap = desiredWorkspaceLeftRightMarginPx - defaultWidgetPadding.right; in getSearchBarDimensForWidgetOpts()437 padding.set(desiredWorkspaceLeftRightMarginPx, in getWorkspacePadding()439 desiredWorkspaceLeftRightMarginPx, in getWorkspacePadding()