public void update_ui(AltosState state, AltosGreatCircle from_receiver, Location receiver, boolean is_current) {
last_state = state;
last_from_receiver = from_receiver;
public void update_ui(AltosState state, AltosGreatCircle from_receiver, Location receiver, boolean is_current) {
last_state = state;
last_from_receiver = from_receiver;