From 36464fcd594744d6e8fbdbd5cbd7f3b37d19d77c Mon Sep 17 00:00:00 2001
From: Gabriele <pmzqla.git@gmail.com>
Date: Tue, 14 Oct 2014 18:21:38 +0200
Subject: [PATCH] Set minimum width of the left panel in the preferences

Change also the default width and set it to the minimum.
This minimum width prevents the horizontal scrollbar from appearing.

The size of the items in the list depends on the Qt style, so the
left panel could be few pixels larger than required with some of them.
---
 src/preferences/options.ui      | 6 ++++++
 src/preferences/options_imp.cpp | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/preferences/options.ui b/src/preferences/options.ui
index c37b23f4d..e42613eab 100755
--- a/src/preferences/options.ui
+++ b/src/preferences/options.ui
@@ -32,6 +32,12 @@
         <verstretch>0</verstretch>
        </sizepolicy>
       </property>
+      <property name="minimumSize">
+       <size>
+        <width>116</width>
+        <height>0</height>
+       </size>
+      </property>
       <property name="frameShape">
        <enum>QFrame::StyledPanel</enum>
       </property>
diff --git a/src/preferences/options_imp.cpp b/src/preferences/options_imp.cpp
index 296b6edbb..547e60e5e 100755
--- a/src/preferences/options_imp.cpp
+++ b/src/preferences/options_imp.cpp
@@ -310,8 +310,8 @@ void options_imp::loadWindowState() {
     sizes << sizes_str.first().toInt();
     sizes << sizes_str.last().toInt();
   } else {
-    sizes << 130;
-    sizes << hsplitter->width()-130;
+    sizes << 116;
+    sizes << hsplitter->width()-116;
   }
   hsplitter->setSizes(sizes);
 }