sm.repaint();
}
protected static StarSelector getStarSelector() {
final double maxMagnitude = ((SkyMap) userInterface.getSkyMap()).getMaxMagnitude();
return new StarSelector() {
@Override
public boolean isSelected(Star candidate) {
return candidate.isBrighterThan(maxMagnitude);
}