}
}
// zoom on mouse direction wheel scroll
public void mouseDWheelScrolled(int x, int y, int direction) {
Marker marker = this.getMarkerNearScreenPos(x, y);
if ((marker != null) && (marker == this.mw.markerManager.selectedMarker)) {
if (direction > 0) {
marker.colourNext();
} else {
marker.colourPrev();
}
} else if (this.dimensionLabel.posWithin(x, y)) {
int n = (direction > 0) ? 1 : -1;
this.mapView.nextDimension(this.mw.dimensionList, n);