@Override
public boolean doHighlighting() {
// if the polygon depends on a polyhedron, look at the meta'
// highlighting
if (getGeoElement().getMetasLength() > 0) {
for (GeoElement meta : ((FromMeta) getGeoElement()).getMetas()) {
if (meta != null && meta.doHighlighting()) return true;
}
}
return super.doHighlighting();
}
