commit b14e5925a93a6b2f6115c57fa6c16e9094863c93
Author: Juergen Spitzmueller <[email protected]>
Date: Fri May 2 11:03:32 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>
diff --git a/status.21x b/status.21x
index 50bff94..7a6b793 100644
--- a/status.21x
+++ b/status.21x
@@ -108,6 +108,9 @@ What's new
- Fix invalid writing of default_otf_view_format preference (bug 9100).
+- Open View > Source Pane at a reasonable size (bug 9084). The downside of
+ this fix is that the Source Pane cannot be shrunken ad infinitum anymore.
+
* INTERNALS