commit 2730f9e2b527083774601974a67e9e834440d46f Author: Juergen Spitzmueller <sp...@lyx.org> Date: Thu May 1 18:00:37 2014 +0200
Fix View Source size Fixes: #9084. diff --git a/src/frontends/qt4/ui/ViewSourceUi.ui b/src/frontends/qt4/ui/ViewSourceUi.ui index cc413e0..a7fd37d 100644 --- a/src/frontends/qt4/ui/ViewSourceUi.ui +++ b/src/frontends/qt4/ui/ViewSourceUi.ui @@ -11,7 +11,7 @@ </rect> </property> <property name="sizePolicy"> - <sizepolicy hsizetype="Ignored" vsizetype="Ignored"> + <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> <horstretch>0</horstretch> <verstretch>0</verstretch> </sizepolicy> @@ -34,7 +34,7 @@ <item> <widget class="QTextEdit" name="viewSourceTV"> <property name="sizePolicy"> - <sizepolicy hsizetype="MinimumExpanding" vsizetype="MinimumExpanding"> + <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> <horstretch>0</horstretch> <verstretch>0</verstretch> </sizepolicy>