diff --git a/src/frontends/qt4/GuiProgressView.cpp b/src/frontends/qt4/GuiProgressView.cpp
index e9d249986a..5d719c948b 100644
--- a/src/frontends/qt4/GuiProgressView.cpp
+++ b/src/frontends/qt4/GuiProgressView.cpp
@@ -53,6 +53,8 @@ GuiProgressView::GuiProgressView(GuiView & parent, Qt::DockWidgetArea area,
 {
 	widget_ = new ProgressViewWidget();
 	widget_->setMinimumHeight(150);
+	widget_->debugMessagesTW->setSizePolicy(QSizePolicy::Ignored,
+						QSizePolicy::Expanding);
 	widget_->adjustSize();
 	setWidget(widget_);