Searched refs:workspacePageIndicatorHeight (Results 1 – 1 of 1) sorted by relevance
172 public final int workspacePageIndicatorHeight; field in DeviceProfile497 workspacePageIndicatorHeight = res.getDimensionPixelSize( in DeviceProfile()592 isVerticalBarLayout() ? workspacePageIndicatorHeight : 0; in DeviceProfile()1741 workspacePageIndicatorHeight - mWorkspacePageIndicatorOverlapWorkspace;1990 - workspacePageIndicatorHeight - edgeMarginPx);