+ void on_view_stickyScrolling_changed(int state);
+ void on_view_showSamplingPoints_changed(int state);
+ void on_view_showAnalogMinorGrid_changed(int state);
+ void on_view_conversionThresholdDispMode_changed(int state);
+ void on_view_defaultDivHeight_changed(int value);
+ void on_view_defaultLogicHeight_changed(int value);
+ void on_dec_initialStateConfigurable_changed(int state);
+ 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;
+
+ QPlainTextEdit *log_view_;