From 01b45c0b494c912468b8e3ae9d3cb07040280ae4 Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Tue, 12 Jan 2010 16:21:50 +0000
Subject: [PATCH] Revert last patch for time being. This gives 0 vertical size
 of widget by default.

How to add some default size to be used in case no previous settings were saved?


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@32987 a592a061-630c-0410-9148-cb99ea01b6c8
---
 src/frontends/qt4/GuiProgressView.cpp | 1 +
 1 file changed, 1 insertion(+)

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_);