ElevatorGUI (int floors, int elevators);
/* Functions to be called from Elevator to change GUI status */
- void gui_update_position_label (int elevator, float new_position);
+ void gui_update_position_label (int elevator, float new_position, Direction direction);
void gui_unpress_call_button (int floor, Direction direction);
void gui_unpress_request_button (int elevator, int floor);
void gui_open_door (int elevator, int floor);