summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJaakko Keränen <jaakko.keranen@iki.fi>2020-10-18 10:58:26 +0300
committerJaakko Keränen <jaakko.keranen@iki.fi>2020-10-18 10:58:26 +0300
commit6fbbdb349a94d75859bc4a22d7f08927d8680ca5 (patch)
treec29011ff99a8656565ff2a77bd49a4be36e084e5
parent19f0b597cb9cc28dfaba8fb02440e65e85a50df5 (diff)
Player: Dim scrubber when paused
-rw-r--r--src/ui/playerui.c2
1 files changed, 1 insertions, 1 deletions
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) {
145 const int dotWidth = advance_Text(uiLabel_FontId, dot).x; 145 const int dotWidth = advance_Text(uiLabel_FontId, dot).x;
146 draw_Text(uiLabel_FontId, 146 draw_Text(uiLabel_FontId,
147 init_I2(s1 * (1.0f - normPos) + s2 * normPos - dotWidth / 2, yMid - hgt / 2), 147 init_I2(s1 * (1.0f - normPos) + s2 * normPos - dotWidth / 2, yMid - hgt / 2),
148 bright, 148 isPaused_Player(d->player) ? dim : bright,
149 dot); 149 dot);
150 /* Volume adjustment. */ 150 /* Volume adjustment. */
151 if (isAdjusting) { 151 if (isAdjusting) {