+ void on_page_changed(QListWidgetItem *current, QListWidgetItem *previous);
+ void on_general_theme_changed_changed(int state);
+ void on_general_style_changed(int state);
+ void on_view_zoomToFitDuringAcq_changed(int state);
+ void on_view_zoomToFitAfterAcq_changed(int state);
+ void on_view_triggerIsZero_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_fillSignalHighAreas_changed(int state);
+ void on_view_fillSignalHighAreaColor_changed(QColor color);
+ void on_view_showAnalogMinorGrid_changed(int state);
+ void on_view_showHoverMarker_changed(int state);
+ void on_view_snapDistance_changed(int value);
+ void on_view_cursorFillColor_changed(QColor color);
+ void on_view_conversionThresholdDispMode_changed(int state);
+ void on_view_defaultDivHeight_changed(int value);
+ void on_view_defaultLogicHeight_changed(int value);
+#ifdef ENABLE_DECODE
+ void on_dec_initialStateConfigurable_changed(int state);
+ void on_dec_exportFormat_changed(const QString &text);
+#endif
+ void on_log_logLevel_changed(int value);
+ void on_log_bufferSize_changed(int value);
+ void on_log_saveToFile_clicked(bool checked);
+ void on_log_popOut_clicked(bool checked);
+
+private:
+ DeviceManager &device_manager_;
+ PageListWidget *page_list;
+ QStackedWidget *pages;
+
+#ifdef ENABLE_DECODE
+ QLineEdit *ann_export_format_;
+#endif
+
+ QPlainTextEdit *log_view_;