}
// Shift selects everything in the rectangle region defined by the last click
// position and this position
else if (((e.getModifiersEx() & MouseEvent.SHIFT_DOWN_MASK) == MouseEvent.SHIFT_DOWN_MASK)) {
scene.toggleAllPicks(e.getX(), e.getY());
}
else scene.pick(e.getX(), e.getY());
}