From aef839b3e31d3fe05c4b1c19bef5c8c7a9695017 Mon Sep 17 00:00:00 2001 From: wmayer Date: Sun, 16 Oct 2016 08:14:29 +0200 Subject: [PATCH] issue #0002733: Preferences dialog box --- src/Gui/DlgPreferences.ui | 3 --- src/Gui/DlgPreferencesImp.cpp | 2 ++ 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Gui/DlgPreferences.ui b/src/Gui/DlgPreferences.ui index acf9bd0850..aa54ee4c1f 100644 --- a/src/Gui/DlgPreferences.ui +++ b/src/Gui/DlgPreferences.ui @@ -60,9 +60,6 @@ QFrame::Sunken - - Qt::ScrollBarAlwaysOff - Qt::ScrollBarAlwaysOff diff --git a/src/Gui/DlgPreferencesImp.cpp b/src/Gui/DlgPreferencesImp.cpp index 2b5d14ec17..798cefa004 100644 --- a/src/Gui/DlgPreferencesImp.cpp +++ b/src/Gui/DlgPreferencesImp.cpp @@ -63,6 +63,8 @@ DlgPreferencesImp::DlgPreferencesImp(QWidget* parent, Qt::WindowFlags fl) invalidParameter(false), canEmbedScrollArea(true) { ui->setupUi(this); + ui->listBox->setFixedWidth(130); + ui->listBox->setGridSize(QSize(108, 120)); connect(ui->buttonBox, SIGNAL (helpRequested()), getMainWindow(), SLOT (whatsThis()));