/** handles selection change */
private void selectionChanged() {
updateSelectedGeos(geoTree.getSelectionPaths());
Object[] geos = selectionList.toArray();
propPanel.updateSelection(geos);
// Util.addKeyListenerToAll(propPanel, this);
// update selection of application too
if (app.getMode() == EuclidianConstants.MODE_SELECTION_LISTENER)
app.setSelectedGeos(selectionList);
}
