From 466c16577ade929c340e986ace06b7cbd175d960 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jaakko=20Kera=CC=88nen?= Date: Thu, 5 Jan 2023 07:54:41 +0200 Subject: [PATCH 1/1] DocumentWidget: Fine-tuning reload indicator position On macOS, the indicator was partially hidden by the window border. Move it down a little to make it more visible. --- src/ui/indicatorwidget.c | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/src/ui/indicatorwidget.c b/src/ui/indicatorwidget.c index a5348ea7..20adbdab 100644 --- a/src/ui/indicatorwidget.c +++ b/src/ui/indicatorwidget.c @@ -77,13 +77,14 @@ void draw_IndicatorWidget_(const iIndicatorWidget *d) { if (isLight_ColorTheme(colorTheme_App())) { colors[0] = black_ColorId; } - fillRect_Paint(&p, - (iRect){ addY_I2(topLeft_Rect(rect), - /* Active root indicator is also a line at the top, - so need a little offset if in split view. */ - numRoots_Window(window_Widget(d)) > 1 ? gap_UI / 2 : 0), - init_I2(pos * width_Rect(rect), gap_UI / 3) }, - colors[isCompleted_IndicatorWidget_(d) ? 1 : 0]); + fillRect_Paint( + &p, + (iRect){ addY_I2(topLeft_Rect(rect), + /* Active root indicator is also a line at the top, + so need a little offset if in split view. */ + numRoots_Window(window_Widget(d)) > 1 ? gap_UI / 2 : (gap_UI / 4)), + init_I2(pos * width_Rect(rect), gap_UI / 3) }, + colors[isCompleted_IndicatorWidget_(d) ? 1 : 0]); } } -- 2.34.1