1 #ifndef GUI_VIEWERDOCKWIDGET_H_INCLUDED
2 #define GUI_VIEWERDOCKWIDGET_H_INCLUDED
24 #include <QDockWidget>
43 const std::shared_ptr<Ws::MergedPreferences>&,
45 std::function<
void()> on_close = std::function<
void()>());
54 std::shared_ptr<Ws::MergedPreferences> m_preferences;
58 std::function<void()> m_on_close;
64 #endif // end_of_inclde_guard
ViewerDockWidget(Qt::DockWidgetArea, const std::shared_ptr< Ws::MergedPreferences > &, QWidget *parent=nullptr, std::function< void()> on_close=std::function< void()>())
A dock widget containing visual output of a viewer.
see the online Qt documentation
Interface for MergedPreferences.
see the online Qt documentation
virtual void closeEvent(QCloseEvent *)
overrides QWidget::closeEvent
Namespace for generic graphical shell for simulators.