diff --git a/src/plugins/projectexplorer/compileoutputwindow.cpp b/src/plugins/projectexplorer/compileoutputwindow.cpp
index e3f9e599ec8..707bc15fb47 100644
--- a/src/plugins/projectexplorer/compileoutputwindow.cpp
+++ b/src/plugins/projectexplorer/compileoutputwindow.cpp
@@ -87,6 +87,13 @@ private slots:
     }
 
 protected:
+    void wheelEvent(QWheelEvent *ev)
+    {
+        // from QPlainTextEdit, but without scroll wheel zooming
+        QAbstractScrollArea::wheelEvent(ev);
+        updateMicroFocus();
+    }
+
     void mouseDoubleClickEvent(QMouseEvent *ev)
     {
         int line = cursorForPosition(ev->pos()).block().blockNumber();