diff --git a/src/frontends/qt4/GuiProgressView.cpp b/src/frontends/qt4/GuiProgressView.cpp index 3694ad12ab..3d4133ca8e 100644 --- a/src/frontends/qt4/GuiProgressView.cpp +++ b/src/frontends/qt4/GuiProgressView.cpp @@ -52,6 +52,7 @@ GuiProgressView::GuiProgressView(GuiView & parent, Qt::DockWidgetArea area, : DockView(parent, "progress", qt_("Progress/Debug Messages"), area, flags) { widget_ = new ProgressViewWidget(); + widget_->setMinimumHeight(150); widget_->adjustSize(); setWidget(widget_);