Searched refs:getCurrentPageScreenIds (Results 1 – 2 of 2) sorted by relevance
1758 mWorkspace.getCurrentPageScreenIds().getArray().toArray());
975 public IntSet getCurrentPageScreenIds() { in getCurrentPageScreenIds() method in Workspace