From 93abeb3643f1b3f6b36901025bf2868206e53e33 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 247ea7dce..09502e36b 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 94928ff5c..b22bc7a14 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);
 }