commit 2f98d3902c3e4e1313442364e9242b2e529fa9a2
Author: Uwe Stöhr <[email protected]>
Date: Thu Jan 21 23:01:10 2016 +0100
ViewSourceUi.ui: fix bug #4430
diff --git a/src/frontends/qt4/ui/ViewSourceUi.ui
b/src/frontends/qt4/ui/ViewSourceUi.ui
index d26bb33..c18b284 100644
--- a/src/frontends/qt4/ui/ViewSourceUi.ui
+++ b/src/frontends/qt4/ui/ViewSourceUi.ui
@@ -34,7 +34,7 @@
<item>
<widget class="QTextEdit" name="viewSourceTV">
<property name="sizePolicy">
- <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
+ <sizepolicy hsizetype="Preferred" vsizetype="Ignored">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
