DeviceManager: Don't perform scans with DMM drivers

[pulseview.git] / pv / view / view.hpp

diff --git a/pv/view/view.hpp b/pv/view/view.hpp
index 1184213150d21449423f97156f9bafa9fbe01f81..2fff8d2559d34e88e65648f76c7613b79b88d92f 100644 (file)
--- a/pv/view/view.hpp
+++ b/pv/view/view.hpp
@@ -323,7 +323,9 @@ private:
 
        void set_scroll_default();
 
-       bool header_fully_visible() const;
+       bool header_was_shrunk() const;
+
+       void expand_header_to_fit();
 
        void update_layout();
 
@@ -354,6 +356,7 @@ public:
 private Q_SLOTS:
 
        void on_splitter_moved();
+
        void h_scroll_value_changed(int value);
        void v_scroll_value_changed();
 
@@ -422,6 +425,8 @@ private:
        pv::util::Timestamp offset_;
 
        bool updating_scroll_;
+       bool settings_restored_;
+
        bool sticky_scrolling_;
        bool coloured_bg_;
        bool always_zoom_to_fit_;