From 2f98d3902c3e4e1313442364e9242b2e529fa9a2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20St=C3=B6hr?= <uwestoehr@lyx.org>
Date: Thu, 21 Jan 2016 23:01:10 +0100
Subject: [PATCH] ViewSourceUi.ui: fix bug #4430

---
 src/frontends/qt4/ui/ViewSourceUi.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/qt4/ui/ViewSourceUi.ui b/src/frontends/qt4/ui/ViewSourceUi.ui
index d26bb33ec8..c18b284cb9 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>
-- 
2.39.2