From 001ebc0b708e10ef3e84313d6d5df2ee2e377254 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 acf9bd085..aa54ee4c1 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 2b5d14ec1..798cefa00 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()));