From d8ce755cfdd73c976a9359dc6b7b77b913bac301 Mon Sep 17 00:00:00 2001
From: Philippe Renon <philippe_renon@yahoo.fr>
Date: Sat, 2 Feb 2013 15:58:47 +0100
Subject: [PATCH] OP-833 gcs options dialog polishing: - increased width of
 splitter handle from default (6) to 9 - removed bottom Line widget

---
 .../src/plugins/coreplugin/dialogs/settingsdialog.ui   | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/ground/openpilotgcs/src/plugins/coreplugin/dialogs/settingsdialog.ui b/ground/openpilotgcs/src/plugins/coreplugin/dialogs/settingsdialog.ui
index aad114f84..a51d7dee0 100644
--- a/ground/openpilotgcs/src/plugins/coreplugin/dialogs/settingsdialog.ui
+++ b/ground/openpilotgcs/src/plugins/coreplugin/dialogs/settingsdialog.ui
@@ -25,6 +25,9 @@
      <property name="orientation">
       <enum>Qt::Horizontal</enum>
      </property>
+     <property name="handleWidth">
+      <number>9</number>
+     </property>
      <widget class="QTreeWidget" name="pageTree">
       <property name="sizePolicy">
        <sizepolicy hsizetype="Expanding" vsizetype="Expanding">
@@ -59,13 +62,6 @@
          </property>
         </widget>
        </item>
-       <item>
-        <widget class="Line" name="line">
-         <property name="orientation">
-          <enum>Qt::Horizontal</enum>
-         </property>
-        </widget>
-       </item>
       </layout>
      </widget>
     </widget>