From 609d1c8fbfb7d5c3540a402f20b9f4b5a246098a Mon Sep 17 00:00:00 2001 From: wmayer Date: Wed, 29 Aug 2018 19:33:02 +0200 Subject: [PATCH] use a widget's current font as default in the list of available families --- src/Gui/DlgEditorImp.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Gui/DlgEditorImp.cpp b/src/Gui/DlgEditorImp.cpp index 17b9c2d2eb..7d8b247a77 100644 --- a/src/Gui/DlgEditorImp.cpp +++ b/src/Gui/DlgEditorImp.cpp @@ -215,10 +215,12 @@ void DlgSettingsEditorImp::loadSettings() fontSize->setValue(10); fontSize->setValue( hGrp->GetInt("FontSize", fontSize->value()) ); + QByteArray fontName = this->font().family().toLatin1(); + QFontDatabase fdb; QStringList familyNames = fdb.families( QFontDatabase::Any ); fontFamily->addItems(familyNames); - int index = familyNames.indexOf(QString::fromLatin1(hGrp->GetASCII("Font", "Courier").c_str())); + int index = familyNames.indexOf(QString::fromLatin1(hGrp->GetASCII("Font", fontName).c_str())); if (index < 0) index = 0; fontFamily->setCurrentIndex(index); on_fontFamily_activated(this->fontFamily->currentText());