From bcbeeebe630b180faf8f1370ab6c286bfae7454f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20St=C3=B6hr?= <uwestoehr@lyx.org>
Date: Wed, 20 Jan 2016 01:33:42 +0100
Subject: [PATCH] ViewSourceUi.ui: correct wrong property number

Just save the file with Qt Designer of Qt 4.8 or Qt 5.5 version and this change will be made by designer automatically
---
 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 1d6f2abf1c..d26bb33ec8 100644
--- a/src/frontends/qt4/ui/ViewSourceUi.ui
+++ b/src/frontends/qt4/ui/ViewSourceUi.ui
@@ -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>
-- 
2.39.5