// nothing
}
- public void set_font() {
+ public void font_size_changed(int font_size) {
for (AltosSiteMapTile tile : mapTiles.values())
tile.set_font(AltosUILib.value_font);
}
+ public void units_changed(boolean imperial_units) {
+ set_line();
+ }
+
static final int load_mode_cached = 1;
static final int load_mode_uncached = 2;
}
}
+ public static void prefetchMaps(double lat, double lon) {
+ prefetchMaps(lat, lon, 2, 1 << maptype_hybrid, 0, 0);
+ }
+
public File init_map(Point offset, int load_mode) {
AltosSiteMapTile tile = mapTiles.get(offset);
Point2D.Double coord = tileCoordOffset(offset);
last_point = point;
}
- private void centre(Point2D.Double pt) {
+ public void centre(Point2D.Double pt) {
Rectangle r = comp.getVisibleRect();
Point2D.Double copt = translatePoint(pt, tileCoordOffset(topleft));
int dx = (int)copt.x - r.width/2 - r.x;
comp.scrollRectToVisible(r);
}
- private void centre(AltosState state) {
+ public void centre(AltosState state) {
if (!state.gps.locked && state.gps.nsat < 4)
return;
centre(pt(state.gps.lat, state.gps.lon));