diff options
| author | Cédric Cabessa <ced@ryick.net> | 2019-03-03 10:52:07 +0100 |
|---|---|---|
| committer | Cédric Cabessa <ced@ryick.net> | 2019-04-28 21:03:18 +0200 |
| commit | b2dc2080193a44e732277f45db999da7f9ec98a0 (patch) | |
| tree | 5272e561069c1bc74dfcb1c64edbaa63752ec417 /app/src | |
| parent | cf638a497813741757e2d9fd6f77bb171ed85c5e (diff) | |
| download | AntennaPod-b2dc2080193a44e732277f45db999da7f9ec98a0.zip | |
force refresh time when playback speed change
This is useful when media is paused
Diffstat (limited to 'app/src')
| -rw-r--r-- | app/src/main/java/de/danoeh/antennapod/activity/AudioplayerActivity.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/src/main/java/de/danoeh/antennapod/activity/AudioplayerActivity.java b/app/src/main/java/de/danoeh/antennapod/activity/AudioplayerActivity.java index 67dda01cf..2bcd7a461 100644 --- a/app/src/main/java/de/danoeh/antennapod/activity/AudioplayerActivity.java +++ b/app/src/main/java/de/danoeh/antennapod/activity/AudioplayerActivity.java @@ -129,6 +129,7 @@ public class AudioplayerActivity extends MediaplayerInfoActivity { } UserPreferences.setPlaybackSpeed(newSpeed); controller.setPlaybackSpeed(Float.parseFloat(newSpeed)); + onPositionObserverUpdate(); } else { VariableSpeedDialog.showGetPluginDialog(this); } |