force refresh time when playback speed change

This is useful when media is paused
This commit is contained in:
Cédric Cabessa 2019-03-03 10:52:07 +01:00
parent cf638a4978
commit b2dc208019
1 changed files with 1 additions and 0 deletions

View File

@ -129,6 +129,7 @@ public class AudioplayerActivity extends MediaplayerInfoActivity {
} }
UserPreferences.setPlaybackSpeed(newSpeed); UserPreferences.setPlaybackSpeed(newSpeed);
controller.setPlaybackSpeed(Float.parseFloat(newSpeed)); controller.setPlaybackSpeed(Float.parseFloat(newSpeed));
onPositionObserverUpdate();
} else { } else {
VariableSpeedDialog.showGetPluginDialog(this); VariableSpeedDialog.showGetPluginDialog(this);
} }