diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-10-18 10:58:26 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-10-18 10:58:26 +0300 |
commit | 6fbbdb349a94d75859bc4a22d7f08927d8680ca5 (patch) | |
tree | c29011ff99a8656565ff2a77bd49a4be36e084e5 | |
parent | 19f0b597cb9cc28dfaba8fb02440e65e85a50df5 (diff) |
Player: Dim scrubber when paused
-rw-r--r-- | src/ui/playerui.c | 2 |
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) { |