From b14e5925a93a6b2f6115c57fa6c16e9094863c93 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Fri, 2 May 2014 11:03:32 +0200
Subject: [PATCH] Fix View Source size

Fixes: #9084.
---
 src/frontends/qt4/ui/ViewSourceUi.ui | 4 ++--
 status.21x                           | 3 +++
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/frontends/qt4/ui/ViewSourceUi.ui b/src/frontends/qt4/ui/ViewSourceUi.ui
index cc413e025f..a7fd37d99a 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 50bff94b0d..7a6b79394d 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
 
-- 
2.39.5