From 3c43a01ba23777e49248a9a25da271807343540d Mon Sep 17 00:00:00 2001 From: Daniel Ramoeller Date: Mon, 8 Mar 2021 20:43:03 +0100 Subject: [PATCH] Smaller zoom slider on macOS Fix for #12189. --- src/frontends/qt/GuiView.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/frontends/qt/GuiView.cpp b/src/frontends/qt/GuiView.cpp index e7a129b1a2..fb9681b204 100644 --- a/src/frontends/qt/GuiView.cpp +++ b/src/frontends/qt/GuiView.cpp @@ -630,6 +630,8 @@ GuiView::GuiView(int id) QFontMetrics const fm(statusBar()->fontMetrics()); zoom_slider_ = new QSlider(Qt::Horizontal, statusBar()); + // Small size slider for macOS to prevent the status bar from enlarging + zoom_slider_->setAttribute(Qt::WA_MacSmallSize); #if (QT_VERSION >= QT_VERSION_CHECK(5, 11, 0)) zoom_slider_->setFixedWidth(fm.horizontalAdvance('x') * 15); #else