# HG changeset patch
# User Chris Cannam
# Date 1585910136 -3600
# Node ID e660a00bc3b97e35fc36729f43b5eeb9f3b7b537
# Parent  27ea5d61b40209e15861eb5b7a488513ad149452
That didn't work well on a machine with a higher scaled-pixel ratio, try this

diff -r 27ea5d61b402 -r e660a00bc3b9 widgets/MenuTitle.h
--- a/widgets/MenuTitle.h	Tue Mar 31 13:45:06 2020 +0100
+++ b/widgets/MenuTitle.h	Fri Apr 03 11:35:36 2020 +0100
@@ -30,8 +30,8 @@
 
 #ifdef Q_OS_LINUX
         static int leftIndent = 
-            (ViewManager::scalePixelSize(5) + 
-             2 * qApp->style()->pixelMetric(QStyle::PM_SmallIconSize));
+            (ViewManager::scalePixelSize(8) +
+             qApp->style()->pixelMetric(QStyle::PM_SmallIconSize));
 #else
 #ifdef Q_OS_WIN
         static int leftIndent =