Searched refs:screenSet (Results 1 – 1 of 1) sorted by relevance
159 IntSet screenSet = new IntSet(); in collectWorkspaceScreens() local162 screenSet.add(item.screenId); in collectWorkspaceScreens()167 || screenSet.isEmpty()) { in collectWorkspaceScreens()168 screenSet.add(Workspace.FIRST_SCREEN_ID); in collectWorkspaceScreens()170 return screenSet.getArray(); in collectWorkspaceScreens()