Cross Reference: /packages/apps/Launcher3/src/com/android/launcher3/DeviceProfile.java

Lines Matching refs:workspacePadding

297         Rect workspacePadding = getWorkspacePadding();
298         int maxHeight = (availableHeightPx - workspacePadding.top - workspacePadding.bottom);
489         Rect workspacePadding = getWorkspacePadding();
492                 return new Rect(workspacePadding.left, workspacePadding.top,
493                         workspacePadding.left + pageIndicatorHeightPx,
494                         heightPx - workspacePadding.bottom - insets.bottom);
496                 int pageIndicatorLeft = widthPx - workspacePadding.right;
497                 return new Rect(pageIndicatorLeft, workspacePadding.top,
499                         heightPx - workspacePadding.bottom - insets.bottom);
502             int pageIndicatorTop = heightPx - insets.bottom - workspacePadding.bottom;
503             return new Rect(workspacePadding.left, pageIndicatorTop,
504                     widthPx - workspacePadding.right, pageIndicatorTop + pageIndicatorHeightPx);
576         Rect workspacePadding = getWorkspacePadding();
578         int pageSpace = availableHeightPx - workspacePadding.top - workspacePadding.bottom;

OpenGrok