diff options
| -rw-r--r-- | app/src/main/res/xml/preferences_playback.xml | 5 | ||||
| -rw-r--r-- | core/src/main/java/de/danoeh/antennapod/core/preferences/UserPreferences.java | 5 | ||||
| -rw-r--r-- | core/src/main/res/values/strings.xml | 2 |
3 files changed, 12 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preferences_playback.xml b/app/src/main/res/xml/preferences_playback.xml index 9182df600..dad2f0ade 100644 --- a/app/src/main/res/xml/preferences_playback.xml +++ b/app/src/main/res/xml/preferences_playback.xml @@ -71,6 +71,11 @@ android:key="prefPlaybackSpeedLauncher" android:summary="@string/pref_playback_speed_sum" android:title="@string/pref_playback_speed_title"/> + <SwitchPreference + android:defaultValue="false" + android:key="prefPlaybackTimeRespectsSpeed" + android:summary="@string/pref_playback_time_respects_speed_sum" + android:title="@string/pref_playback_time_respects_speed_title"/> </PreferenceCategory> <PreferenceCategory android:title="@string/queue_label"> diff --git a/core/src/main/java/de/danoeh/antennapod/core/preferences/UserPreferences.java b/core/src/main/java/de/danoeh/antennapod/core/preferences/UserPreferences.java index 805f0c1b6..c9a18e923 100644 --- a/core/src/main/java/de/danoeh/antennapod/core/preferences/UserPreferences.java +++ b/core/src/main/java/de/danoeh/antennapod/core/preferences/UserPreferences.java @@ -73,6 +73,7 @@ public class UserPreferences { private static final String PREF_PAUSE_PLAYBACK_FOR_FOCUS_LOSS = "prefPauseForFocusLoss"; private static final String PREF_RESUME_AFTER_CALL = "prefResumeAfterCall"; public static final String PREF_VIDEO_BEHAVIOR = "prefVideoBehavior"; + private static final String PREF_TIME_RESPECTS_SPEED = "prefPlaybackTimeRespectsSpeed"; // Network private static final String PREF_ENQUEUE_DOWNLOADED = "prefEnqueueDownloaded"; @@ -871,4 +872,8 @@ public class UserPreferences { .putString(PREF_BACK_BUTTON_GO_TO_PAGE, tag) .apply(); } + + public static boolean timeRespectsSpeed() { + return prefs.getBoolean(PREF_TIME_RESPECTS_SPEED, false); + } } diff --git a/core/src/main/res/values/strings.xml b/core/src/main/res/values/strings.xml index 665498c23..8dc3cfb99 100644 --- a/core/src/main/res/values/strings.xml +++ b/core/src/main/res/values/strings.xml @@ -472,6 +472,8 @@ <string name="pref_gpodnet_notifications_sum">This setting does not apply to authentication errors.</string> <string name="pref_playback_speed_title">Playback Speeds</string> <string name="pref_playback_speed_sum">Customize the speeds available for variable speed audio playback</string> + <string name="pref_playback_time_respects_speed_title">Adjust media info to playback speed</string> + <string name="pref_playback_time_respects_speed_sum">Displayed position and duration are adapted to playback speed</string> <string name="pref_fast_forward">Fast Forward Skip Time</string> <string name="pref_fast_forward_sum">Customize the number of seconds to jump forward when the fast forward button is clicked</string> <string name="pref_rewind">Rewind Skip Time</string> |