Searched refs:EXTRA_EMPTY_SCREEN_IDS (Results 1 – 3 of 3) sorted by relevance
40 IntSet EXTRA_EMPTY_SCREEN_IDS = field100 if (EXTRA_EMPTY_SCREEN_IDS.contains(screenId)) { in addInScreen()
1844 if (Workspace.EXTRA_EMPTY_SCREEN_IDS.contains(screenId)) { in acceptDrop()
277 if (Workspace.EXTRA_EMPTY_SCREEN_IDS.contains(screenId)) { in onAddToDatabase()