commit 0ae098c66b609c1760d51f6608a2a5e950369657
Author: Uwe Stöhr <[email protected]>
Date: Sat Jan 23 16:25:02 2016 +0100
ViewSourceUi.ui: backport bug #4430
diff --git a/src/frontends/qt4/ui/ViewSourceUi.ui
b/src/frontends/qt4/ui/ViewSourceUi.ui
index 1d6f2ab..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>
@@ -68,7 +68,7 @@
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
</property>
<property name="horizontalSpacing">
- <number>-1</number>
+ <number>6</number>
</property>
<property name="verticalSpacing">
<number>4</number>
diff --git a/status.21x b/status.21x
index d17b96e..fff022d 100644
--- a/status.21x
+++ b/status.21x
@@ -139,6 +139,8 @@ What's new
- Fix category of several layouts of the foils text class (UI only).
+- Correct minimal size of the view source window (bug 4430).
+
* INTERNALS
