Searched refs:selection (Results 1 – 2 of 2) sorted by relevance
92 Set<?> selection = scene.getSelectedObjects(); in paintComponent() local93 if (selection.size() > 0) { in paintComponent()94 ViewNode node = (ViewNode) selection.iterator().next(); in paintComponent()
1383 Set<Object> selection = new HashSet<Object>(); in focusChanged() local1384 selection.add(newFocus); in focusChanged()1385 scene.setSelectedObjects(selection); in focusChanged()