Fix #770 by adding a vertical hover line and a setting for it

[pulseview.git] / pv / dialogs / settings.hpp

diff --git a/pv/dialogs/settings.hpp b/pv/dialogs/settings.hpp
index 81d09fcee7865c3cc4becedd384a55d7a8adb17d..40142056487c8fcc509437d76d1c9629b2986589 100644 (file)
--- a/pv/dialogs/settings.hpp
+++ b/pv/dialogs/settings.hpp
@@ -32,6 +32,8 @@ class DeviceManager;
 
 namespace dialogs {
 
+class PageListWidget;
+
 class Settings : public QDialog
 {
        Q_OBJECT
@@ -56,10 +58,11 @@ private Q_SLOTS:
        void on_view_zoomToFitDuringAcq_changed(int state);
        void on_view_zoomToFitAfterAcq_changed(int state);
        void on_view_triggerIsZero_changed(int state);
-       void on_view_colouredBG_changed(int state);
+       void on_view_coloredBG_changed(int state);
        void on_view_stickyScrolling_changed(int state);
        void on_view_showSamplingPoints_changed(int state);
        void on_view_showAnalogMinorGrid_changed(int state);
+       void on_view_showHoverMarker_changed(int state);
        void on_view_conversionThresholdDispMode_changed(int state);
        void on_view_defaultDivHeight_changed(int value);
        void on_view_defaultLogicHeight_changed(int value);
@@ -71,7 +74,7 @@ private Q_SLOTS:
 
 private:
        DeviceManager &device_manager_;
-       QListWidget *page_list;
+       PageListWidget *page_list;
        QStackedWidget *pages;
 
        QPlainTextEdit *log_view_;