public void setPosition(double minLon, double maxLon, double minLat, double maxLat) {
transformer.resetAutoScale();
transformer.adjustAutoScaleFromWgs84(minLon, minLat);
transformer.adjustAutoScaleFromWgs84(maxLon, maxLat);
transformer.fixAspectRatio();
transformerChanged();
repaint();
}
/** Zoom and position the map in order to see everything. */
public void showAllMap() {
transformer.resetAutoScale();
try {
transformer.adjustAutoScaleFromWgs84(
CoordUtils.toWGS84Rad(map.getMinLongitude()),
CoordUtils.toWGS84Rad(map.getMinLatitude()));
transformer.adjustAutoScaleFromWgs84(
CoordUtils.toWGS84Rad(map.getMaxLongitude()),
CoordUtils.toWGS84Rad(map.getMaxLatitude()));
} catch (IOException e) {
e.printStackTrace();
}
transformer.fixAspectRatio();
transformerChanged();
}
