void determine_if_header_was_shrunk();
- void expand_header_to_fit();
+ void resize_header_to_fit();
void update_layout();
void signals_changed();
void capture_state_updated(int state);
+ void on_new_segment(int new_segment_id);
void on_segment_changed(int segment);
virtual void perform_delayed_view_update();