private Point min;
private Point max;
public TileBoundsMapView() {
setBorder(BorderFactory.createLineBorder(Color.DARK_GRAY));
TileLoader loader = tileController.getTileLoader();
if (loader instanceof OsmTileLoader) {
((OsmTileLoader)loader).headers.put("User-Agent", Version.getInstance().getFullAgentString());
}
}