* added WidgetFlags argument to DockView to set Qt::Drawer flag where needed

[features.git] / src / frontends / qt4 / DockView.h

diff --git a/src/frontends/qt4/DockView.h b/src/frontends/qt4/DockView.h
index d582081c71fa176c2d4193ff10a9f09080b1e44b..d83b75814bcd6f86be154a9ef6a5515ed0ad0eae 100644 (file)
--- a/src/frontends/qt4/DockView.h
+++ b/src/frontends/qt4/DockView.h
@@ -35,10 +35,14 @@ public:
                Controller * form, ///< Associated model/controller
                QMainWindow * parent, ///< the main window where to dock.
                docstring const & title, ///< Window title (shown in the top title bar).
-               Qt::DockWidgetArea area = Qt::LeftDockWidgetArea
+               Qt::DockWidgetArea area = Qt::LeftDockWidgetArea, ///< Position of the dock (and also drawer)
+               Qt::WindowFlags flags = 0
                )
-               : QDockWidget(toqstr(title), parent), Dialog::View(dialog, title)
+               : QDockWidget(toqstr(title), parent, flags), 
+                       Dialog::View(dialog, title)
        {
+               if (flags & Qt::Drawer)
+                       setFeatures(QDockWidget::NoDockWidgetFeatures);
                widget_.reset(new Widget(form));
                setWidget(widget_.get());
                parent->addDockWidget(area, this);