[Android] Add the jump time delay to the audio and video players

[Nicolas Pomepuy]

vlc-android | branch: master | Nicolas Pomepuy <nicolas at videolabs.io> | Mon Sep 13 08:53:42 2021 +0200| [cab56ae85ce0fc7b18d3d9af13cf66cc454d5570] | committer: Nicolas Pomepuy

Add the jump time delay to the audio and video players

Fixes #2004
Fixes #2052
Fixes #458
Fixes #633
Fixes #1710
Fixes #1287

> https://code.videolan.org/videolan/vlc-android/commit/cab56ae85ce0fc7b18d3d9af13cf66cc454d5570
---

 .../assets/images/svg/ic_audio_controls.svg        | 111 +++++++++++++++++++++
 .../assets/images/svg/ic_player_forward_10.svg     |  12 ++-
 .../assets/images/svg/ic_player_rewind_10.svg      |  10 +-
 .../res/drawable-ldrtl/ic_player_forward_10.xml    |   8 +-
 .../res/drawable-ldrtl/ic_player_rewind_10.xml     |   5 +-
 .../src/main/res/drawable/ic_audio_controls.xml    |  16 +++
 .../src/main/res/drawable/ic_player_forward_10.xml |   2 +-
 .../src/main/res/drawable/ic_player_rewind_10.xml  |   2 +-
 .../resources/src/main/res/values/attrs.xml        |   1 +
 .../resources/src/main/res/values/strings.xml      |   3 +
 .../src/main/java/org/videolan/tools/Settings.kt   |  24 +++++
 .../vlc-android/res/layout-land/audio_player.xml   |  31 +++++-
 .../vlc-android/res/layout/audio_player.xml        |  35 ++++++-
 .../res/layout/dialog_audio_controls_settings.xml  |  34 +++++++
 application/vlc-android/res/layout/player_hud.xml  |  32 ++++++
 .../vlc-android/res/layout/pref_number_picker.xml  |  39 ++++++++
 application/vlc-android/res/values/styles.xml      |   3 +
 .../res/xml/preferences_audio_controls.xml         |  29 ++++++
 application/vlc-android/res/xml/preferences_ui.xml |   6 --
 .../res/xml/preferences_video_controls.xml         |  15 +++
 .../src/org/videolan/vlc/gui/audio/AudioPlayer.kt  |  48 ++++++---
 .../videolan/vlc/gui/audio/AudioPlayerAnimator.kt  |  12 +++
 .../vlc/gui/dialogs/AudioControlsSettingsDialog.kt |  26 +++++
 .../vlc/gui/helpers/PlayerOptionsDelegate.kt       |  11 +-
 .../vlc/gui/preferences/BasePreferenceFragment.kt  |  10 +-
 .../gui/preferences/PreferencesAudioControls.kt    |  65 ++++++++++++
 .../videolan/vlc/gui/preferences/PreferencesUi.kt  |   1 -
 .../gui/preferences/PreferencesVideoControls.kt    |   6 ++
 .../videolan/vlc/gui/video/VideoPlayerActivity.kt  |  14 ++-
 .../vlc/gui/video/VideoPlayerOverlayDelegate.kt    |   8 +-
 .../vlc/gui/view/NumberPickerPreference.kt         |  75 ++++++++++++++
 .../vlc/gui/view/NumberPickerPreferenceDialog.kt   |  72 +++++++++++++
 32 files changed, 718 insertions(+), 48 deletions(-)

Diff:   https://code.videolan.org/videolan/vlc-android/commit/cab56ae85ce0fc7b18d3d9af13cf66cc454d5570