Give the progress widget a minimum height.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@32838 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/frontends/qt4/GuiProgressView.cpp b/src/frontends/qt4/GuiProgressView.cpp
index 7644d94adf490eab695c7716eac190ed397931cd..c2e38e165ad709902ae8ba2e94f535b549b1447f 100644 (file)
--- a/src/frontends/qt4/GuiProgressView.cpp
+++ b/src/frontends/qt4/GuiProgressView.cpp
@@ -67,6 +67,8 @@ GuiProgressView::GuiProgressView(GuiView & parent, Qt::DockWidgetArea area,
 #if QT_VERSION < 0x040400
        widget_->scrollArea->setWidget(widget_->scrollAreaWidgetContents);
 #endif
+       widget_->setMinimumHeight(150);
+       widget_->adjustSize();
        setWidget(widget_);
 
        QFont font(guiApp->typewriterFontName());