AltosGraphUI wasn't making sure the map and stats tables were present
before attempting to adjust font size and units.
Signed-off-by: Keith Packard <keithp@keithp.com>
}
public void font_size_changed(int font_size) {
}
public void font_size_changed(int font_size) {
- map.font_size_changed(font_size);
- statsTable.font_size_changed(font_size);
+ if (map != null)
+ map.font_size_changed(font_size);
+ if (statsTable != null)
+ statsTable.font_size_changed(font_size);
}
public void units_changed(boolean imperial_units) {
}
public void units_changed(boolean imperial_units) {
- map.units_changed(imperial_units);
+ if (map != null)
+ map.units_changed(imperial_units);
}
AltosGraphUI(AltosStateIterable states, File file) throws InterruptedException, IOException {
}
AltosGraphUI(AltosStateIterable states, File file) throws InterruptedException, IOException {