if ((marker instanceof CustomMarker)
&& marker.containsPoint(p)) { // y si
// estamos
// pinchando
// en uno
CustomMarker m = (CustomMarker) marker;
log.trace("Hemos pinchado en " + marker);
switch (m.getType()) {
case RESOURCE:
Recurso r = (Recurso) m.getObject();
log.trace("Es un recurso: " + r);
if (r != null) {
menuObjective = r;
if (r.getPatrullas() != null) {
titulo.setText(i18n
.getString(
Locale.ROOT,
"map.menu.titulo.recursoPatrulla",
r.getIdentificador(),
r.getPatrullas()));
} else {
titulo.setText(r.getIdentificador());
}
gps.setEnabled(true);
summary.setEnabled(true);
}
break;
case INCIDENCE:
Incidencia i = (Incidencia) m.getObject();
log.trace("Es una incidencia: " + i);
if (i != null) {
menuObjective = i;
titulo.setText(i.getTitulo());
gps.setEnabled(false);