Searched defs:edgeMarginPx (Results 1 - 1 of 1) sorted by relevance

/packages/apps/Launcher3/src/com/android/launcher3/
H A DDeviceProfile.java87 int edgeMarginPx; field in class:DeviceProfile
178 edgeMarginPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_edge_margin);
179 desiredWorkspaceLeftRightMarginPx = 2 * edgeMarginPx;
394 hotseatBarHeightPx = iconSizePx + 4 * edgeMarginPx;
399 folderCellWidthPx = cellWidthPx + 3 * edgeMarginPx;
400 folderCellHeightPx = cellHeightPx + edgeMarginPx;
401 folderBackgroundOffset = -edgeMarginPx;
524 return 4 * edgeMarginPx;
526 return 2 * edgeMarginPx;
540 bounds.set(availableWidthPx - searchBarSpaceHeightPx, edgeMarginPx,
[all...]

Completed in 59 milliseconds