From 537d153173606bae26f97c498df21e5d20e572df Mon Sep 17 00:00:00 2001
From: Kacper Donat <kadet1090@gmail.com>
Date: Thu, 28 Dec 2023 12:58:51 +0100
Subject: [PATCH] Gui: Allow narrower preferences dialog

This commit introduces optional horizontal scrollbar, looses up the minimum size applied to dialog and narrows a dialog a little bit by default.
---
 src/Gui/DlgPreferences.ui | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Gui/DlgPreferences.ui b/src/Gui/DlgPreferences.ui
index bdee77dad0..c62e828642 100644
--- a/src/Gui/DlgPreferences.ui
+++ b/src/Gui/DlgPreferences.ui
@@ -6,13 +6,13 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>1000</width>
+    <width>900</width>
     <height>900</height>
    </rect>
   </property>
   <property name="minimumSize">
    <size>
-    <width>1000</width>
+    <width>600</width>
     <height>500</height>
    </size>
   </property>
@@ -226,7 +226,7 @@ QFrame::item { padding: 6px 8px };</string>
            <enum>QFrame::NoFrame</enum>
           </property>
           <property name="horizontalScrollBarPolicy">
-           <enum>Qt::ScrollBarAlwaysOff</enum>
+           <enum>Qt::ScrollBarAsNeeded</enum>
           </property>
           <property name="sizeAdjustPolicy">
            <enum>QAbstractScrollArea::AdjustIgnored</enum>
@@ -239,8 +239,8 @@ QFrame::item { padding: 6px 8px };</string>
             <rect>
              <x>0</x>
              <y>0</y>
-             <width>726</width>
-             <height>669</height>
+             <width>626</width>
+             <height>772</height>
             </rect>
            </property>
            <property name="sizePolicy">