Don't cut off zoomed font sizes to the nearest integer point size

This caused it to go to 0 when for example displaying size 9 at 10%,
which is an invalid value so it caused the text to revert back to the
default size.

It also caused zooming to sometimes appearing to have no effect. For
example zooming size 9 to 110% would still yield size 9 rather than 9.9.

Task-number: QTCREATORBUG-2744
Task-number: QTCREATORBUG-2745
Reviewed-by: Robert Loehning
Reviewed-by: hjk

3 files changed, 5 insertions, 5 deletions

diff --git a/src/plugins/debugger/debuggerplugin.cpp b/src/plugins/debugger/debuggerplugin.cpp
index 72f6ab983f..7a605bcf07 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 bd9e67274e..eaa36330c7 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 540f2d53a8..6d8b994e90 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);
     }