Tie the "sticky scrolling" setting in with the settings mgmt

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

diff --git a/pv/view/view.hpp b/pv/view/view.hpp
index 007ea3b68ba688395e0d20a87c25aea3cab30503..930f6cd2b560c26b32fd96ede652b5e32a39ca0e 100644 (file)
--- a/pv/view/view.hpp
+++ b/pv/view/view.hpp
@@ -89,7 +89,7 @@ private:
        static const int ScaleUnits[3];
 
 public:
-       explicit View(Session &session, QWidget *parent = 0);
+       explicit View(Session &session, bool is_main_view=false, QWidget *parent = 0);
 
        Session& session();
        const Session& session() const;
@@ -401,6 +401,7 @@ private:
 
        bool updating_scroll_;
        bool sticky_scrolling_;
+       bool coloured_bg_;
        bool always_zoom_to_fit_;
        QTimer delayed_view_updater_;