diff --git a/src/plugins/debugger/debuggerplugin.cpp b/src/plugins/debugger/debuggerplugin.cpp index 72f6ab983fcfc43e3d2ea1335e5a103d255061bb..7a605bcf072939e083d391ccd1f98a6526376342 100644 --- a/src/plugins/debugger/debuggerplugin.cpp +++ b/src/plugins/debugger/debuggerplugin.cpp @@ -2096,17 +2096,17 @@ void DebuggerPluginPrivate::connectEngine(DebuggerEngine *engine, bool notify) notifyCurrentEngine(RequestActivationRole, true); } -static void changeFontSize(QWidget *widget, int size) +static void changeFontSize(QWidget *widget, qreal size) { QFont font = widget->font(); - font.setPointSize(size); + font.setPointSizeF(size); widget->setFont(font); } void DebuggerPluginPrivate::fontSettingsChanged (const TextEditor::FontSettings &settings) { - int size = settings.fontZoom() * settings.fontSize() / 100; + qreal size = settings.fontZoom() * settings.fontSize() / 100.; changeFontSize(m_breakWindow, size); changeFontSize(m_logWindow, size); changeFontSize(m_localsWindow, size); diff --git a/src/plugins/texteditor/basetexteditor.cpp b/src/plugins/texteditor/basetexteditor.cpp index bd9e67274e53a0d9821ad13380fc0297c689afc2..eaa36330c72673317a0afa4482c6449ec22e3eea 100644 --- a/src/plugins/texteditor/basetexteditor.cpp +++ b/src/plugins/texteditor/basetexteditor.cpp @@ -4722,7 +4722,7 @@ void BaseTextEditor::changeEvent(QEvent *e) || e->type() == QEvent::FontChange) { if (d->m_extraArea) { QFont f = d->m_extraArea->font(); - f.setPointSize(font().pointSize()); + f.setPointSizeF(font().pointSizeF()); d->m_extraArea->setFont(f); slotUpdateExtraAreaWidth(); d->m_extraArea->update(); diff --git a/src/plugins/texteditor/fontsettings.cpp b/src/plugins/texteditor/fontsettings.cpp index 540f2d53a8a3f7fe7eafcc28c722d8fd9f78daba..6d8b994e9033d669d804cdf37789b5041f9fbbb4 100644 --- a/src/plugins/texteditor/fontsettings.cpp +++ b/src/plugins/texteditor/fontsettings.cpp @@ -172,7 +172,7 @@ QTextCharFormat FontSettings::toTextCharFormat(const QString &category) const if (category == textCategory) { tf.setFontFamily(m_family); - tf.setFontPointSize(m_fontSize * m_fontZoom / 100); + tf.setFontPointSize(m_fontSize * m_fontZoom / 100.); tf.setFontStyleStrategy(m_antialias ? QFont::PreferAntialias : QFont::NoAntialias); }