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 9b6ce3ff2967c31283a499a3ff106a1aaa6fa430..2fff8d2559d34e88e65648f76c7613b79b88d92f 100644 (file)
--- a/pv/view/view.hpp
+++ b/pv/view/view.hpp
@@ -356,7 +356,6 @@ public:
 private Q_SLOTS:
 
        void on_splitter_moved();
-       void on_repeat_splitter_expansion();
 
        void h_scroll_value_changed(int value);
        void v_scroll_value_changed();
@@ -426,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_;