Searched defs:workspacePadding (Results 1 – 1 of 1) sorted by relevance
205 public final Rect workspacePadding = new Rect(); field in DeviceProfile612 Point workspacePadding = getTotalWorkspacePadding(); in updateAvailableDimensions() local838 public int getWorkspaceWidth(Point workspacePadding) { in getWorkspaceWidth()