void set_scroll_default();
- bool header_was_shrunk() const;
+ void determine_if_header_was_shrunk();
- void expand_header_to_fit();
+ void resize_header_to_fit();
void update_layout();
bool updating_scroll_;
bool settings_restored_;
+ bool header_was_shrunk_;
bool sticky_scrolling_;
bool coloured_bg_;