void set_scroll_default();
- bool header_fully_visible() const;
+ bool header_was_shrunk() const;
+
+ void expand_header_to_fit();
void update_layout();
private Q_SLOTS:
+ void on_splitter_moved();
+
void h_scroll_value_changed(int value);
void v_scroll_value_changed();
pv::util::Timestamp offset_;
bool updating_scroll_;
+ bool settings_restored_;
+
bool sticky_scrolling_;
bool coloured_bg_;
bool always_zoom_to_fit_;