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 /src | |
| parent | 19f0b597cb9cc28dfaba8fb02440e65e85a50df5 (diff) | |
Player: Dim scrubber when paused
Diffstat (limited to 'src')
| -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) { |