void on_page_changed(QListWidgetItem *current, QListWidgetItem *previous);
void on_view_alwaysZoomToFit_changed(int state);
void on_view_colouredBG_changed(int state);
+ void on_view_stickyScrolling_changed(int state);
private:
DeviceManager &device_manager_;