diff --git a/src/frontends/qt4/GuiViewSource.cpp b/src/frontends/qt4/GuiViewSource.cpp index ba36dd0919..ae5d9ff4b9 100644 --- a/src/frontends/qt4/GuiViewSource.cpp +++ b/src/frontends/qt4/GuiViewSource.cpp @@ -57,7 +57,6 @@ ViewSourceWidget::ViewSourceWidget() // so we disable the signals here: document_->blockSignals(true); viewSourceTV->setDocument(document_); - viewSourceTV->setSizePolicy(QSizePolicy::Ignored, QSizePolicy::Ignored); document_->blockSignals(false); viewSourceTV->setReadOnly(true); ///dialog_->viewSourceTV->setAcceptRichText(false); diff --git a/src/frontends/qt4/ui/ViewSourceUi.ui b/src/frontends/qt4/ui/ViewSourceUi.ui index 556961ba31..d5231ef198 100644 --- a/src/frontends/qt4/ui/ViewSourceUi.ui +++ b/src/frontends/qt4/ui/ViewSourceUi.ui @@ -6,7 +6,7 @@ 0 0 446 - 93 + 94 @@ -21,16 +21,16 @@ - - 0 - 6 + + 0 + - 0 + ArrowCursor Complete source @@ -62,7 +62,7 @@ Qt::Vertical - + 20 1 @@ -74,6 +74,12 @@ + + + 0 + 0 + +