From 6fbbdb349a94d75859bc4a22d7f08927d8680ca5 Mon Sep 17 00:00:00 2001
From: Jaakko Keränen <jaakko.keranen@iki.fi>
Date: Sun, 18 Oct 2020 10:58:26 +0300
Subject: Player: Dim scrubber when paused

---
 src/ui/playerui.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ui/playerui.c')

diff --git a/src/ui/playerui.c b/src/ui/playerui.c
index fadbc2da..3e22a1d2 100644
--- a/src/ui/playerui.c
+++ b/src/ui/playerui.c
@@ -145,7 +145,7 @@ void draw_PlayerUI(iPlayerUI *d, iPaint *p) {
     const int dotWidth = advance_Text(uiLabel_FontId, dot).x;
     draw_Text(uiLabel_FontId,
               init_I2(s1 * (1.0f - normPos) + s2 * normPos - dotWidth / 2, yMid - hgt / 2),
-              bright,
+              isPaused_Player(d->player) ? dim : bright,
               dot);
     /* Volume adjustment. */
     if (isAdjusting) {
-- 
cgit v1.2.3