diff --git a/src/ui/MainWindow.cc b/src/ui/MainWindow.cc index 8991ce24092ef9dedab254b8be7fc87573d8e477..e2081e98e46a38d5995e1140214e8b2536694f4e 100644 --- a/src/ui/MainWindow.cc +++ b/src/ui/MainWindow.cc @@ -693,8 +693,10 @@ QDockWidget* MainWindow::createDockWidget(QWidget *subMainWindowParent,QWidget * dockWidget->setWidget(child); //Set child objectName before setting dockwidget, since the dock widget might react to object name changes connect(child, SIGNAL(destroyed()), dockWidget, SLOT(deleteLater())); //Our dockwidget only has only child widget, so kill the dock widget if the child is deleted - if (!minSize.isNull()) - dockWidget->setMinimumSize(minSize); + if (minSize.height() >= 0) + dockWidget->setMinimumHeight(minSize.height()); + if (minSize.width() >= 0) + dockWidget->setMinimumWidth(minSize.width()); addTool(parent,view,dockWidget,title,area); return dockWidget; }