Searched refs:WORKSPACE_TOP_PADDING (Results 1 – 1 of 1) sorted by relevance
46 private static final String WORKSPACE_TOP_PADDING = "workspaceTopPadding"; field in DevicePaddings84 if (WORKSPACE_TOP_PADDING.equals(parser.getName())) { in DevicePaddings()