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
This commit is contained in:
Pavel Sanda 2010-01-12 16:21:50 +00:00
parent ceb50a253c
commit 01b45c0b49

View File

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